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.