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