if you wish to view my email address.
Postgraduate at the Department of Computer Science, University of Warwick, UK.
Research interests include; programming language semantics, type theory, categorical logic.
Tutorial supervision, University of Warwick (2014/15).
CS256 Functional Programming
CS325 Compiler Design
Accessor/Mutator Synthesis in Object-based Languages
Type Attributes for the Gradually Typed λ-calculus
Embedding System F Type Encodings in Haskell
Complete Problems Satisfy a Universal Property