![Reuben N. S. Rowe](https://popl24.sigplan.org/getProfileImage/reubennsrowe/9ba6b95a-1810-453f-beeb-d3e035e8fe11/small.jpg?1712293148000)
Registered user since Wed 12 Jul 2017
Name:Reuben N. S. Rowe
Bio:
BA Cambridge University (Fitzwilliam) 2001-2004 MSc/PhD Imperial College London, 2007-2012 Teaching Fellow, Imperial College London, 2012-2014 Postdoc, University College London, 2014-2016 Postdoc, University of Kent, 2016-2019 Lecturer, Royal Holloway, 2019-Present
Country:United Kingdom
Affiliation:Royal Holloway University of London
Personal website: https://www.cs.rhul.ac.uk/home/rrowe/
GitHub: https://github.com/reubenrowe
Research interests:Semantics, Types, Proof Theory, Cyclic Proof, Refactoring, Functional Programming, OCaml
Contributions
POPL 2024-profile
View general profile
View general profile