More About Me
My hobbies include analytic philosophy, a cappella, electric guitar, poker, and crosswords. I also have a board game collection. My broader research interests include functional programming, formal methods, type systems, databases, and distributed systems. I use Emacs, Kitty, Neovim, Kagi, and Typst. When I have time, I make videos and write code.
Reach Out!
I'd love to talk with you about anything! Reach me at michaellan AT ucla DOT edu.