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 (4)
java10
scribble10
golang9
csharp1
Programming languages (3)
Github contributions (5)
rhu1/scribble-java
Feb 2021 - Feb 2023
Core components for the Scribble Java tools
Contributions:54 commits, 226 PRs, 2134 pushes in 2 years
javajava-toolscore-componentsscribble
rhu1/scribble-go-runtime
Oct 2017 - Jan 2019
Scribble protocol description language support tools.
Contributions:231 commits, 19 PRs, 191 pushes in 1 year 2 months
language-descriptionlanguage-supportscribblesupport-tools
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.