π-calculus, Session Types research at Imperial College

Dr Ping Hou
Research Associate

I am an RA at Imperial College London. My research interests are formal analysis and verification of programming languages and complex systems. Previously, I was a research fellow at the University of Innsbruck. I did my PhD at Katholieke Universiteit Leuven. Currently, I am focusing on the specification and verification of multiparty session type systems.