Michael Lan

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