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