About Me

My research interests are mostly related to Programming Languages, such as effect handlers, type systems, program verification and functional programming. For more details you can check my CV. I am currently doing a PhD at the University of Edinburgh under the supervision of Dr. Sam Lindley.

Projects

• Affect Formalisation of an affine type and effect system.
• SPL compiler A small compiler for a simple higher-order language.
• WebFuzz A fuzzer for web applications.