Daryl Zuniga

I'm a software engineer at Microsoft Research.

Formerly, I studied 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.