Michael Lan

I'm a computer science student at UCLA minoring in philosophy. When I have time, I make videos and write code. My research interests include functional programming (Haskell, OCaml), formal methods (Coq, Lean), compilers, concurrent programming, and distributed systems. I previously interned at Pure Storage, and I'm an incoming intern at Tesla this winter and at Jane Street this summer.
Michael's signature