Michael Lan

I study computer science and philosophy at UCLA. I do research under Jens Palsberg involving formal verification and quantum computing. After graduation, I plan on joining Jane Street as a software engineer, having interned there this past summer. Previously, I've interned at Pure Storage and Tesla.