معرفی
Dr. Raymond Hu is a Lecturer in Computer Science at Queen Mary University of London's School of Electronic Engineering and Computer Science (EECS). He holds a BA from the University of Cambridge and an MSc/PhD from Imperial College London. His research focuses on programming languages, distributed systems, type systems, and session types, with applications in concurrent and fault-tolerant systems. He collaborates with industry partners like Google, Red Hat, and the Ocean Observatories Initiative. Dr. Hu is a member of the Theory Group and the Centre for Fundamental Computer Science within EECS, and actively contributes to academic conferences and workshops.
Education:
- BA, University of Cambridge
- MSc, Imperial College London
- PhD, Imperial College London
Research Interests:
Dr. Hu's work spans programming language design, distributed systems, and formal methods. Key areas include session types for safe communication protocols, type systems for concurrency, and fault tolerance in distributed environments. His recent projects involve rate-based session types for IoT devices and generics in the Go programming language.
Grants & Collaborations:
He collaborates with industry leaders such as Google (on Go generics) and Cognizant, and has secured grants supporting projects like session-based protocols for embedded systems. He also organizes academic events like TIME 2025 and co-chairs workshops such as PLACES '24.
Labs & Teams:
Member of the Theory Group and Centre for Fundamental Computer Science, actively involved in protocol design and verification initiatives.
