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.