Watcharin Leungwattanakit

1662/7 Krungthep-Nonthaburi Rd. Wong-sawang Bang-sue, Bangkok, Thailand 10800
Tel. (+66) 89-788-5427


Birth September 1, 1984, in Bangkok
Citizenship Thai
Languages English, Japanese, Thai


  • Quantitative Trading
  • Enterprise Search Technology
  • Web Application Technology
  • Big Data Technology
  • Software verification

Technical Summary

Operating Systems Ubuntu Linux, CentOS, Microsoft Windows
Programming Languages Python, C++, R, Java, PHP, Shell script, Ruby, Visual C# .NET
Software Development
Spring, Hibernate, CodeIgniter, Laravel, jQuery, Flask
Enterprise Search Platforms Apache Solr
Databases MySQL, MongoDB, Redis, Microsoft SQL Server
Social Network API Facebook, Twitter


Quantitative Trading

  • Senior Quantitative Researcher developing statistical arbitrage models for equities, ETFs, commodities, and fixed income.

Web Applications

  • Lead developer of Buzzzard (, a brand monitoring system with automatic Thai language sentiment analysis.
  • Lead developer of Thailand YellowPages Search Application.

Server Administration

  • Administrator of Buzzzard (Ubuntu).
  • Administrator of Internal Servers (Ubuntu and CentOS).

Software Verification

  • Developer of jpf-net-iocache, the Java PathFinder extension for verifying networked applications. This extension has been applied to verify Hadoop, a cloud computing framework.


2011 The University of Tokyo, Tokyo, Japan
Ph.D. (Information Science and Technology), September 2011
Thesis Title: Distributed Software Model Checking using I/O Cache and Process Checkpointing
2008 The University of Tokyo, Tokyo, Japan
Master of Information Science and Technology, September 2008
2006 Chulalongkorn University, Bangkok, Thailand
Bachelor of Computer Engineering with Gold Medal First Class Honors, March 2006

Work Experience

October 2015 – Present Senior Quantitative Researcher
WorldQuant Research (Thailand), Bangkok, Thailand
May 2012 – Sep 2015 Senior Technical Consultant
VenTek International (Thailand), Bangkok, Thailand
Jan 2012 – Mar 2012 Research Fellow
Chiba University, Chiba, Japan
Member of Project “Model Checking Networked Applications by using Distributed Checkpointing”.
Oct 2011 – Dec 2011 Technical Support Specialist
The University of Tokyo, Tokyo, Japan
Member of Project “Verification Method of a Cloud Computing Framework”.
Mar 2010 – Jun 2010 Software Engineering Intern
IBM Research, Tokyo, Japan
Service Research Team, Infrastructure Software Section.
Mar 2005 – May 2005 Software Engineering Intern
Krung Thai Computer Services, Bangkok, Thailand
Team member of Web Application Deverlopment Group.
Developed extension modules for the Internet Banking System of Krung Thai Bank. The modules were written in Java Servlet.

Competitions and Awards

KBTG TechJam

2017 Finalist in Data Track

Google Code Jam

2017 1st Round
2016 1st Round
2015 1st Round

Topcoder Algorithm Competitions (My Stats)

Japanese-language Proficiency Test Certificate (2007)

Level 1 (1級)

Japanese Government Scholarship (2006)

Research Student at Graduate School of Information Science and Technology, The University of

Thailand National Software Contest (2006)

Winner of the Science and Technology Development Application Track. “Finding Positions and Orientations of Chessboard Patterns Using Web Camera”.

Selected Research Publications

2011 W. Leungwattanakit, C. Artho, M. Hagiya, Y. Tanabe, M. Yamamoto. Model Checking Distributed Systems by Combining Caching and Process Checkpointing, 26th IEEE/ACMInternational Conference On Automated Software Engineering, November 2011, Lawrence, USA.
2010 C. Artho, W. Leungwattanakit, M. Hagiya, Y. Tanabe, M. Yamamoto. Model Checking of Concurrent Algorithms: From Java to C, IFIP Conference on Distributed and Parallel Embedded Systems (DIPES) 2010, September 2010, Brisbane, Australia.
2010 W. Leungwattanakit, C. Artho, M. Hagiya, Y. Tanabe, M. Yamamoto. Cache-based Model Checking of Networked Software, The Workshop on Dependability of Network Software Applications (DNSA) 2010, November 2010, Hiroshima, Japan.
2010 W. Leungwattanakit. (translated) Verifying Networked Programs Using a Model Checker Extension, PPL 2010, March 2010, Kagawa, Japan.
2009 W. Leungwattanakit, C. Artho, M. Hagiya, Y. Tanabe, M. Yamamoto. Verifying Networked Programs Using a Model Checker Extension, ICSE 2009, May 2009, Vancouver, Canada.
2009 W. Leungwattanakit, C. Artho, M. Hagiya, Y. Tanabe, M. Yamamoto. Introduction of Virtualization Technology to Multi-Process Model Checking, NASA Formal Methods Symposium, April 2009, Moffett Field, USA.
2009 C. Artho, W. Leungwattanakit, M. Hagiya, Y. Tanabe. Tools and Techniques for Model Checking Networked Programs. SNPD 2008, August 2008, Phuket, Thailand.

Campus Activities

2003 and 2004 1st and 2nd of Bit Byte Camp
Faculty of Engineering, Chulalongkorn University
2003 Freshman Orientation of Chulalongkorn University
Administrative Staff

Other Interests

Sports Tennis, Table Tennis, Badminton
Finance Investment
Leisure Watching movies, Playing Video Games


  • Prof. Masami Hagiya
    Department of Computer Science, The University of Tokyo, Tokyo, Japan.
  • Dr. Cyrille Artho
    The National Institute of Advanced Industrial Science and Technology (AIST), Tsukuba, Japan.

Leave a Reply