Reuben Rowe

Reuben Rowe is a Senior Lecturer in the Department of Computer Science at Royal Holloway, University of London. He previously held postdoctoral positions at the University of Kent (PLAS group) and University College London (PPLV group), and served as a Teaching Fellow at Imperial College London for their MSc in Computing Science.

Educational Background

• BA in Computer Science from University of Cambridge Computer Lab (2004), Fitzwilliam College
• MSc (Distinction) in Advanced Computing from Imperial College London (2008)
• PhD in Computer Science from Imperial College London (2013)

Research Interests focus on formal program verification, non-wellfounded proof theory, and type systems, particularly intersection types and guarded recursive types. His work explores fundamental models of computation (Lambda Calculus, Term Rewriting Systems), Curry-Howard Isomorphism, and logics for computer science. He has advanced cyclic proof systems for program termination and contributed to tools like ROTOR (OCaml refactoring) and Cyclist (cyclic theorem proving).

Publication Trends highlight expertise in automated verification frameworks, cyclic proof structures, and formal models for functional and imperative programming. Key collaborations include James Brotherston, Liron Cohen, and Simon Thompson, funded by EPSRC grants EP/N028759/1 and EP/K040049/1.

Teaching includes first-year programming labs (CS1822) and Object-Oriented Programming II (CS1812/13). He maintains an academic webpage and ORCID profile.