Watcharin Leungwattanakit1662/7 Krungthep-Nonthaburi Rd. Wong-sawang Bang-sue, Bangkok, Thailand 10800
Tel. (+66) 89-788-5427
|Birth||September 1, 1984, in Bangkok|
|Languages||English, Japanese, Thai|
- Quantitative Trading
- Enterprise Search Technology
- Web Application Technology
- Big Data Technology
- Software verification
|Operating Systems||Ubuntu Linux, CentOS, Microsoft Windows|
|Programming Languages||Python, C++, R, Java, PHP, Shell script, Ruby, Visual C# .NET|
|Spring, Hibernate, CodeIgniter, Laravel, jQuery, Flask|
|Enterprise Search Platforms||Apache Solr|
|Databases||MySQL, MongoDB, Redis, Microsoft SQL Server|
|Social Network API||Facebook, Twitter|
- Senior Quantitative Researcher developing statistical arbitrage models for equities, ETFs, commodities, and fixed income.
- Lead developer of Buzzzard (www.buzzzard.com), a brand monitoring system with automatic Thai language sentiment analysis.
- Lead developer of Thailand YellowPages Search Application.
- Administrator of Buzzzard (Ubuntu).
- Administrator of Internal Servers (Ubuntu and CentOS).
- 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
|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
|2017||Finalist in Data Track|
Google Code Jam
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.|
|2003 and 2004||1st and 2nd of Bit Byte Camp
Faculty of Engineering, Chulalongkorn University
|2003||Freshman Orientation of Chulalongkorn University
|Sports||Tennis, Table Tennis, Badminton|
|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.