Wojtek Moczydlowski

Ph. D. graduate from Cornell Computer Science Department.

Interests: Foundations of mathematics, formal methods, applied constructive set theories, software engineering and verification, programming languages.

My computer science advisor was Bob Constable and my mathematics advisor was Richard A. Shore. My thesis, "Investigations on Sets and Types", was awarded the 2007 Sacks Prize for the most outstanding dissertation in mathematical logic. After graduation, I spent some time working at the D. E. Shaw group. Currently I work at Google.

Publications
Education

---

Email: wojtekm at gmail dot com