Dr Tzu-Chun Chen
Alumni
PublicationsDr. 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
2018
2017
2014
-
: On the Preciseness of Subtyping in Session Types. PPDP 2014 .
-
: Structuring Communication with Session Types. COB 2014 .
2013
-
: Monitoring Networks through Multiparty Session Types. FMOODS/FORTE 2013 .
2012
-
: Specifying Stateful Asynchronous Properties for Distributed Programs. CONCUR 2012 .