Michael Lan

I study computer science and philosophy at UCLA, where my research under Jens Palsberg involves formal verification, quantum computing, and equational reasoning. My broader research interests include functional programming, formal methods, type systems, databases, and distributed systems.
Michael's signature