- wolf dot honore at yale dot edu
- AKW 312
I am a PhD student in the Department of Computer Science at Yale University. I work with my advisor Zhong Shao and the Yale FLINT group on formally certifying software such as CertiKOS. My research interests are in programming languages, compilers, operating systems, and certified software.
- Computer Science PhD - Yale (began 2016)
- Computer Science BA - University of Rochester (2016)
- Applied Math BS - University of Rochester (2016)