I am an assistant teaching professor at the University of Washington, where I teach computer science. I specialize in the areas of programming languages and systems.
Before starting on the teaching faculty, I got my PhD at UW and worked in the tech industry for a few years. My research interests are in programming languages and applications of PL techniques to systems. I'm also a sucker for math, music, and puzzles .
UW PLSE
Ilya Sergey
Zachary Tatlock
mwillsey
About by Alcides Fonseca
Studying Father's blog – Focus on interest!
Proof Engineering
UW PLSE