MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Nicholas Ng
Research Associate
Publications

I am an RA in the Department of Computing at Imperial College London, previously completed a PhD degree under the supervision of Nobuko Yoshida and Wayne Luk. My research centres around a typing system for the Pi-calculus (session types) and its applications on high performance parallel computing systems. My recent research focuses on verification of concurrency in the Go programming language using using process calculi/behavioural types appraoch.

Publications

2017
2016
2015
2014
2013
2012
2011