I am interested in type theory and high-performance systems.
I am especially curious about ways to ergonomically reason about the correctness of a fast program.
During the day, I work on a low-latency trading system at an investment bank.
Some experiments with C++ metaprogramming are underway!
Earlier when I worked in cybersecurity research, I wrote some technical articles.