I am a Software Engineer at Google in New York City. I work on Google Cloud Platform developer tools, including the Google Plugin for Eclipse. I have also worked on internal Google staffing applications based on Google App Engine, GWT, and Guice.

I was a Research Staff Member at the IBM Thomas J. Watson Research Center from 1987 to 2009, where I worked on formal specifications, optimizing compilers, mobile computing, and context-based computing. Prior to joining IBM, I worked for SofTech, Inc., from 1983 to 1987 and the research group of Sperry Univac from 1979 to 1983. My work in those positions included programming-language design, formal verification, and software-engineering training.

I received my B.A. in mathematics and computer science from Cornell University in 1975, my M.A. in applied mathematics and computer science from Harvard University in 1977, and my Ph.D. in applied mathematics and computer science from Harvard University in 1980.