- ๐๏ธ London, U.K.
- ๐ผ Software Engineer, Bloomberg
- ๐ Master of Engineering in Computing, Imperial College London
- ๐ฅ 1st Class Honours, Dean's List, ...
- ๐งฐ Stack:
- ๐ Python, TypeScript, JavaScript, C++
- ๐ Java, C
- ๐ค Haskell, Go, Swift, Rust
- ๐ก Interests: type theory, programming language design, static analysis
-
Master's Thesis, supervised by Prof. Nobuko Yoshida
-
PLACES 2020: Proceedings of the 12th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software
-
CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction