Postgraduate at the Department of Computer Science, University of Warwick, UK.
Research interests include; programming language semantics, type theory, categorical logic.
Attribute Grammars for Pluggable, Gradual Type Systems (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
Lab supervision, University of Warwick (2014/15).
CS256 Functional Programming
CS325 Compiler Design
CS349 Principles of Programming Languages
Type Attributes for the Gradually Typed λ-calculus
Embedding System F Encodings in Haskell
Complete Problems Satisfy a Universal Property