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.
Gradual Type Systems in Object-based Languages (WT)
MSc Thesis, University of Warwick (2014/15). Supervised by
Dr. Sara Kalvala
A Static Type System for a Simplified Pascal Dialect
BSc Project, University of Warwick (2013/14). Supervised by
Dr. Steve Matthews
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