Professional ​

My research interests span the areas of Data Science, Formal Methods,  Computational Models,  Data-intensive Systems, and Automated Verification (particularly on safe and secure interactional behaviour in large-scale distributed systems), and type disciplines of interactional behaviour in complex systems, e.g. large-scale distributed systems and Internet of Things (IoT).


I have been working on behavioural types for specifying interaction procedures (e.g. protocols, contracts, etc.) among multiple applications in distributed systems and the IoT, which may communicate to each other concurrently and asynchronously.


Currently I am particularly interested in Big Data analysis and AI pricing. 




C0, Go,

Scala, Python, R  

VBA, Java, C, C++, C♯,


Ph.D. in Computer Science
Queen Mary College, University of London.

2009 Aug - 2013 May

Thesis: Theories for Session-based Governance for Large-scale Distributed Systems.

M.A. in Computer Science
National Taiwan University (NTU)
2005 September - 2007 June

Subject: Financial Engineering and Numerical Analysis. 

Thesis: Convergence Comparison of GCRR and Ritchken Models (grade: 92/100)

Double B.A. in Computer Science & Business Administration
National Taiwan University (NTU)
2000 September - 2005 June

Overall GPA: 3.78/4.00, 224 credits

Mandarin (Native),

English (Fluent)

Data Scientist
Evonik Industries AG, Germany
2018 March - Now
  • I work on market and sales analytics through data mining, data crawling, and big data exploration.

  • I develop automated pricing tools. The goal is to achieve AI pricing through big data and machine learning.






Postdoctoral Researcher 
In Informatik, TU Darmstadt, Germany

2014 September - 2018 March



  • Worked on designing protocol types for robust failure handling in distributed systems

  • Worked on type checking the endpoint programs to ensure communication safety

Postdoctoral Researcher
In Informatica, Universita di Torino, Italy

2013 October - 2014 September



  • Worked on formal methods, process calculi, and type systems

  • Worked on static and dynamic verification


Teaching Assistant
In Department of Computer Science,
Queen Mary College, University of London, UK
February 2010 - May 2013
  • Language and Communication (2013 Spring)

  • System Analysis (2010 Spring to 2013 Spring) 

  • Distributed Systems (2010 Spring to 2012 Autumn) 

  • Essential Object-Oriented Programming (2012 Spring)

  • Procedural Programming (2011 Autumn)

  • Final year projects: PHP, Java script, My SQL (2013 Spring)


Full-time System administration and web programmer
In the Computer Centre, College of Management, National Taiwan University, Taiwan 
2008 July 2 - 2009 December 
Research Assistant
In Department of Financial Engineering,
National Chiao Tung University, Taiwan 
2007 June  - 2008 July 
Part-time Financial Engineering Project Researcher, Asset-Backed Commercial Paper Research, National Science Council, Taiwan. June 2006 - June 2007. 
  • Lead by Professor Yuh-Dauh Lyuu
Teaching Assistant
In Department of Computer Science,
National Taiwan University, Taiwan.
2006 July - 2007 December 
  • Theory of Complexity, conducted by Professor Yuh-Dauh Lyuu

Summer Internship
In Department of Equity Derivatives,
ChinaTrust Financial Holding Co., Ltd., Taiwan.
2005 Summer
National Taiwan University E-Commerce Club, Taiwan 
2002 June  - 2003 September 
Project Manager Assistant, Advantech Co., Taiwan
2002 June - 2002 July 





T: (+49) 06151-16-27813