Talks:

 

  • A Type Theory for Robust Failure Handling in Distributed System. Presentation at MPSS Workshop (Modeling and Analysis of Information Systems, Programming Distributed Systems, and Software Engineering), Darmstadt, Germany. March 2015.

  • A Type Theory for Robust Failure Handling in Distributed Systems. Presentation at Department of Computing, Imperial College, London, UK. Feb 2015.

  • Specifying Stateful Asynchronous Properties for Distributed Programs,. Presentation at Department of Informatica, Universitadi Torino, Italy. April 2013.

  • Specifying Stateful Asynchronous Properties for Distributed Programs. Presentation at 23rd International Conference on Concurrency Theory CONCUR, Newcastle upon Tyne, UK. Sept. 2012.

  • Asynchronous Stateful Specifications and Distributed Monitoring. Presentation at ETAPS’s workshop of PLACES 2012, Programming Language Approaches to Concurrency and Communication-cEntric Software, Tallinn, Estonia. March 2012.

  • Monitored Network: Architecture and Semantics. Presentation at OOI workshop, London, UK. March 2011.

 

  • A short-term scientific mission funded by ERC LiveSoft project. This visit aims to start a new research project with Dr Rudolf Schlatte and Dr Crystal Chang Din at research group of Precise modeling and analysis (PMA), Department of Institutt for informatikk, Uni-versity of Oslo. 12th May to 16th May, 2017.

  • Dagstuhl Workshop of Theory and Applications of Behavioral Types, Schloss Dagstuhl - Leibniz Center for Computer Science GmbH, Wadern, Germany. 29th Jan to 3rd Feb, 2017. I attended the talks and participated in discussions on theories of behavioural types. 

  • SPLASH 2016 OOPSLA (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Appli- cations), Amsterdam, The Netherlands, 1st Nov to 4th Nov, 2016. I attended the talks on programming languages and type systems in object-oriented programming. 

  • International conference FORTE (Formal Techniques for Networked and Distributed Systems/Formal Description Techniques for Distributed Systems and Communication Protocols), Heraklion, Crete, Greece. 6th to 9th June, 2016. Presented my accepted paper and attended the talks. 

  • Final meeting of BETTY (Behavioural Types for Reliable Large-Scale Software Systems) Lisbon, Portugal. 6th to 7th Oct, 2016. I attended the talks and participated in discussions on theories of behavioural types. 

  • International conference ICFEM (International Conference on Formal Engineering Methods), Tokyo, Japan. 14th to 18th Nov, 2016. I attended the conference talks on formal methods. 

  • MPSS Workshop (Modeling and Analysis of Information Systems, Programming Distributed Systems, and Software Engineering), Lufthansa Conference Centre in Seeheim, Darmstadt, Germany. 3rd March and 16th Oct, 2015. I attended the talks and participated in discussions for possible cooperative topics in the next generation of distributed systems and clouds computing. 

  • Workshop of Verification of Concurrent and Distributed Software, Lorentz Center, Leiden, the Netherlands. 14th to 18th Sep, 2015. I attended the talks and participated in discussions for formal methods and verifications. 

  • 2014 22nd Euromicro international conference on paraellel, distributed and network-based processing (PDP), Turin, Italy. 12th to 14th Feb, 2014. I attended the talks on parallel programming. 

  • A short-term scientific mission funded by STSM Cost Action. This visit aims to start a new research project with Prof. Jakob Rehof, Department of Informatik, TU Dortmund. 3rd to 9th Feb, 2014.

  • A short-term scientific visit at the Department of Computing , Imperial College London, to attend the meeting of project “From Data Types to Session Types”. 8th - 13th Jan, 2014.

  • A short-term scientific visit at the Department of Informatica, Universitadi Torino, Italy. 10th to 16th April, 2013. 

  • 23rd International Conference on Concurrency Theory (CONCUR), Newcastle upon Tyne, UK. 3rd to 8th Sept, 2012. Presented my accepted paper and attended the talks on concurrency theory. 

  • BCS London Hopper Colloquium held on 15th May, 2012. Presented the poster of “Dynamic Monitoring for Large-scale Distributed Systems” and attended the talks on scientific researches lead by female researchers. http://www.bcs.org/ 

  • Milner Symposium, Edinburgh, UK. 15th to 18th April, 2012. I attended the talks on celebration of the life and work of Prof. Robin Milner. http://events.inf.ed.ac.uk/Milner2012/index.html 

  • 21st International Conference on Concurrency Theory (CONCUR), Paris, France. 31st Aug to 3rd Sept, 2010. I attended the talks on concurrency theory. 

  • BCS London Hopper Colloquium held on May 4, 2010. Attended the talks on current computer science researches and experiences sharing.

Events:

 

Funding received:

 

ERC Funding LiVeSoft. 2014 - 2020

  • Principal applicant: Prof. Patrick Eugster 

  • My role: A member and the leader of the theoretical group in the project “LiVeSoft – Lightweight Verification of Software” supported by ERC grant http://cordis.europa.eu/project/rcn/189853_en.html. Sept. 2014 - Today

 

COST Action (European Cooperation in Science and Technology) STSM. Feb. 2014

  • Principal applicant: Prof. Ugo de’Liguoro

  • Co-applicant: Prof. Jakob Rehof and Dr Tzu-Chun Chen

  • My role: A member in a research group investigating the specification and synthesis of object-oriented components from intersection type specifications

 

Fellowship of Torino University and Compagnia San Paolo Project: SALT. 2013 - 2014

  • Principal applicant: Prof. Mariangiola Dezani-Ciancaglini

  • My role: A member in “Formal Methods in Computing” at the University di Torino. Oct. 2013 - Sept. 2014

 

EPSRC Funding: 2009 - 2012

  • Principal applicant: Prof. Kohei Honda

  • Co-applicant: Prof. Nobuko Yoshida

  • My role: A member of the theoretical group in the project Scribble (http://www.jboss.org/scribble), a research project aiming to design and develop protocol description language. Project member and co-author of Scribble Language Reference and Scribble Tutorial

Reviewer

 

Co-reviewers of the following conferences

  • FoSSaCS 2018, 1 paper (external reviewer)

  • FORTE 2017, 1 paper (external reviewer)

  • ECOOP 2017, 2 papers

  • ECOOP 2016, 2 papers

  • OOPSLA 2016, 1 paper

 

Reviewers of journal papers:

  • Information and Computation (Assigned by Prof. Mariangiola Dezani-Ciancaglini) 2017, 1 paper

  • LMCS (Assigned by Prof. Davide Sangioge) 2016, 1 paper

Awards

 
  • ERC Postdoctoral Research Grant (Germany), from Sept 2014 - Aug 2017 

  • Fellowship of University di Torino and Compagnia San Paolo Project: SALT (Italy), from Oct 2013 - Sept 2014

  • STSM COST Action Grant for short-term research activity, Feb 2014

  • Queen Mary College, University of London Full studentship, from Aug 2009 - Aug 2013

  • EPSRC (UK) Ph.D. Full scholarship, from Aug 2009 - Aug 2012

  • Bronze Medal in the 1st JPMorgan Marketing Competition, 2005 

  • Certified Advanced C++ Programming Design, certified by the Department of Computer Science & Information Engineering, National Taiwan University, 2005

  • Cathay Life Insurance Scholarship, 2004

  • National Taiwan University, Outstanding Achievement Scholarship, 2003

  • Golden Start-up Award in the 5th TIC100 Technology Innovation Competition, 2003 

  • Software Performance Award in the 4th TIC100 Technology Innovation Competition, 2002 

  • National Taiwan University, Presidential Award, 2000 and 200. 

  • APMO board, representing Taiwan as contestant in the Asian Pacific Mathematics Olympiad, 1999

Call

T: (+49) 06151-16-27813