I like building correct, fault-tolerant, secure and performant programs that solve or learn to solve problems, communicate reliably with other programs (or among themselves) and can serve large number of users.
I am interested in AI Alignment and Autoformalization of software. I write code in Rust, Python and Lean.
Other than programming, I like exploring new ideas at the intersection of technology and design, reading widely, and tinkering on side projects.