MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Raymond Hu
Research Associate
Publications

I am an RA at Imperial College London working primarily on the design and application of session types to practice. My recent and current work includes a graphical integration of multiparty session types and Petri nets, and the Scribble framework for multiparty session types verification in existing mainstream languages such as Java and Python. I have also recently worked on deadlock verification for advanced barrier-based concurrent programs. I completed my PhD at Imperial College London in 2011.

Publications

2017
2016
2015
2014
2013
2012
2011
2010
2009
2008