Skip to main content
School of Electronic Engineering and Computer Science

Dr Raymond Hu

Raymond

Lecturer in Computer Science

Email: r.hu@qmul.ac.uk
Room Number: Peter Landin Building, 4th Floor
Office Hours: [Email me to arrange an appointment.]

Profile

Raymond Hu is a Lecturer in Computer Science in the School of Electronic Engineering and Computer Science (EECS) at Queen Mary University of London.  He received a BA from the University of Cambridge, and an MSc and PhD from Imperial College London.

He is a member of the Theory Group and the Centre for Fundamental Computer Science within EECS.  His research interests include programming languages, specification and verification of concurrent and distributed systems, type systems, session types and behavioural types.

See the Research tab for more info and Google Scholar for a list of his publications.

 

Back to top