Imperial College London


Faculty of EngineeringDepartment of Electrical and Electronic Engineering

Research Postgraduate







Electrical EngineeringSouth Kensington Campus





PhD student under the supervision of John Wickerson.

Interested in many thing related to hardware and formal verification.

Currently working on fuzzing (high-level) synthesisers.

I am not a smartphone user, if you know of a phone with full physical keyboard, please let me know.

My text editor is nvi2, my OS is Arch Linux (because of the available software, otherwise I would use FreeBSD) and my favorite programming language are Python as a calculator and scripting language (over shell, bc, dc), OCaml to write intellectually satisfying code, C for writing low-level code and XeLaTeX for document composition. I am testing Rust, Zig and Haskell at the moment and did not make my opinion on those.