Career
Before joining Microsoft Research in 1997, he worked for Bell Labs and Digital Equipment Corporation.
He has published over 100 papers, 1 book, and 2 proceedings as chair/editor (POPL'98 and ECOOP'03). He has served in over 80 Program Committees, and as editor of Theoretical Computer Science - Natural Computing (Elsevier 2008..), Foundations and Trends in Theoretical Computer Science (Now Publishers, 2005..), Transactions in Computational Systems Biology (Springer 2004..),Mathematical Structures in Computer Science (CUP 2001..2007), Science of Computer Programming (North Holland 1999..2006), Journal of Functional Programming (CUP 1995..2004), and Theory and Practice of Object Systems (Wiley 1994..1999).