Wolf Honoré

Wolf Honoré
Email:
wolf dot honore at yale dot edu
Office:
AKW 312

About

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.


Education