Daryl Zuniga

I'm a software engineer at Microsoft Research.

Formerly, I studied at computer science at the University of washington where I also did research with Eric Mullen, Zach Tatlock, and Dan Grossman on formally verifying compiler optimizations.