- PhD Student
Please see my website for the most up-to-date information: https://dc-mak.github.io/
Research
Currently working on CN, a separation logic refinement type system for C.
Have previously worked on https://github.com/rems-project/read-dwarf/, a Translation-Validation tool of ELF binaries produced from C sources.
- Formal verification
- Functional programming
- Compilers
- Linear types
- Paraconsistent logic
Teaching
Please note: I'm no longer supervising.
IA:
- Foundations of CS
- Discrete Maths
IB:
- Programming in C/C++
- Semantics of Programming Languages
- Compiler Construction
- Computation Theory
- Complexity Theory
- Concepts in Programming Languages
- Further Java
- Prolog
II:
- Denotational Semantics
- Types
- Optimising Compilers
- Hoare Logic & Model Checking
