Research Intern

Bellevue, WA, USA
I'm a PhD candidate at the University of Michigan, working on building formally verified systems.

Projects