Reuben Rowe
Lecturer at Royal Holloway, University of London
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolReuben Rowe is a lecturer and researcher in computer science at Royal Holloway, University of London, bringing nine years of postdoctoral and teaching experience across leading UK institutions. His research specializes in proof theory and program verification using logical methods and type systems, translating deep theoretical insights into practical verification techniques. With a PhD and MSc from Imperial College London and a BA from Cambridge, he blends rigorous formal training with a strong teaching pedigree from Imperial, UCL and Kent. Colleagues know him for tackling subtle correctness problems and for bridging the gap between logic-heavy research and accessible coursework for undergraduates and postgraduates.
9 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Imperial College LondonBachelor of Arts - BA, Computer Science, Bachelor of Arts - BA, Computer Science at University of Cambridge
Github Skills (51)
cyclic10
ocaml9
dub8
theorem8
jbuilder8
idris8
dune8
multicore8
opam8
infiniband7
data-structure7
fibers7
mojo7
lwt7
emacs6
Programming languages (5)
Github contributions (5)
reubenrowe/ocaml-decml
Mar 2018 - Aug 2020
OCaml Library and PPX rewriter for abductive programming
Contributions:52 commits, 1 PR, 13 pushes in 2 years 5 months
lwtdubppx-rewriterrewriterocaml
cyclist-org/cyclist
Oct 2017 - Oct 2022
A cyclic theorem prover framework.
Contributions:1 release, 184 commits, 1 PR in 5 years
theorem-provercyclicprovertheorem
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.