
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-
Country: United Kingdom
Affiliation: Royal Holloway University of London
Personal website: https://www.cs.kent.ac.uk/people/staff/rnsr/
Research interests: Semantics, Types, Proof Theory, Cyclic Proof, Refactoring, Functional Programming, OCaml
Contributions
PLDI 2021 | Cyclic Program Synthesis | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2021-profile
View general profile
View general profile