More About Me

I'm a second-year at UCLA majoring in computer science and minoring in philosophy. My research interests include functional programming, programming language design, formal verification, and compilers.

I also love software engineering—I enjoy developing with technologies such as modern TypeScript (React), modern C++, OCaml, Haskell, and Clojure.

Open Source

I am a big advocate of open-source software and the free software philosophy. To that end, I am an avid contributor to open-source projects I use (see my GitHub for contribution activity), and I am also an open-source maintainer, with my most notable open-source project being iswap.nvim, an interactive refactoring tool for the Neovim text editor.

I also maintain the UCLA ACM TeachLA Editor, an open-source, full-stack kid-friendly text editor used by ACM TeachLA to teach kids how to program!

Yeah. I'm just really into text editors, it seems :)

Reach Out!

I'd love to talk with you about anything! Reach me at michaellan AT ucla DOT edu. It might take a few days for me to respond.