MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Tzu-Chun Chen
Alumni
Publications

Dr. Chen is from Taiwan. She got her PhD in computer science of Queen Mary College, University of London in 2013. From 2013 October, she works with Prof. Dezani and Dr. Padovani as a postdoc in University of Torino, Italy. She studies formal methods, session types, the pi-calculus, asynchrony and concurrency, distributed systems and distributed computing. Currently she focuses on exploring the aspects of session types, covering subtyping, specifications and verification, and the structures of session-based policies with temporal logics.

Tzu-Chun is now at TU Darmstadt

Publications

2017
2014
2013
2012
2011