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, formal methods, compilers, and distributed systems. I am currently interning at Tesla, and I have previously interned at Pure Storage.