Michael Lan

I'm a third-year studying computer science at UCLA and minoring in philosophy. I love software engineering, especially with functional programming in C++20, OCaml, and Haskell. When I have time, I make videos and write code. My research interests include functional programming, formal verification, programming language design, compilers, concurrent programming, and distributed systems. I previously interned at Pure Storage, where I worked on FlashBlade data mobility in C++. I'm an incoming intern at Tesla this winter where I'll be writing Haskell, and Jane Street this summer where I'll be writing OCaml.
Michael's signature