Raymond Hu
Lecturer In Computer Science at Queen Mary University of London
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolRaymond Hu is a Lecturer in Computer Science at Queen Mary University of London and a member of the Theory Group and Centre for Fundamental Computer Science, bringing 11 years of experience at the intersection of research and teaching. He holds a PhD in Computing Research and an MSc in Advanced Computing from Imperial College London, complemented by a BA in Computer Science from Cambridge, grounding his work in rigorous formal foundations. His research-focused role emphasizes theoretical computer science while translating complex ideas into teachable material and collaborative projects. Based in London, he combines academic leadership with active engagement in the university research community, often bridging theory with practical curriculum development. Colleagues describe him as someone who turns abstract problems into clear, testable questions, a skill reflected in both his publications and classroom approach. Outside formal profiles, he maintains an accessible homepage that highlights his ongoing projects and contributions to the CFCS.
11 years of coding experience
PhD Computing Research, PhD Computing Research at Imperial College LondonBA Computer Science Tripos, BA Computer Science Tripos at University of Cambridge
Github Skills (5)
java10
scribble9
go9
refinement3
csharp2
Programming languages (5)
Github contributions (5)
rumineykova/scribble-java
Jun 2017 - Mar 2019
Core components for the Scribble Java tools
Contributions:90 PRs, 388 pushes, 7 branches in 1 year 9 months
java
rhu1/scribble-java
Feb 2021 - Feb 2023
Core components for the Scribble Java tools
Contributions:54 commits, 226 PRs, 2153 pushes in 2 years
java
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.