
Principal Software Development Engineer at Microsoft Corporation
Greater Seattle Area

Principal Software Development Engineer at Microsoft Corporation
Greater Seattle Area
Software developer with a deep interest in systems software, particularly programming languages and compilers. Interested in helping to make the next big leap in software developer productivity happen.
Programming language design and implementation. API design.
(Public Company; 10,001 or more employees; Computer Software industry)
January 1998 — Present (11 years 11 months)
I work on programming language design and compiler front ends. Past projects include JScript .NET, CCI and X#/Xen/Comega. Currently I work in Microsoft Research on projects such as Spec#.
(Educational Institution; 1001-5000 employees; Higher Education industry)
July 1994 — December 1997 (3 years 6 months)
Lectured to senior undergraduate and graduate students. Supervised master's and doctoral students. Research.
(Educational Institution; 501-1000 employees; Higher Education industry)
February 1988 — June 1994 (6 years 5 months)
Lectured undergraduate and graduate students. Academic leadership and administrative control. Research. Served as Deputy Dean of the Faculty of Science (1992-1994) and as chairman of two committees of the Senate of the University.
(Government Agency; 1001-5000 employees; Research industry)
January 1983 — September 1987 (4 years 9 months)
Software Development and Applied Research.
PhD , Computer Science , 1978 — 1985