Education
S.B. in Computer Science and Engineering, MIT
S.M. in Computer Science and Engineering, MIT
Ph.D. in Computer and Information Science, University of Pennsylvania
Research
My research interests are in the formal specification and analysis of programs
and programming languages, and the use of automated theorem provers to help
with this.
I am currently working with the RSRG to formally specify modules for pointers
and memory management and then use these modules to develop verified
implementations of common data structures.
More information about my research interests, experience, and publications
may be found on my
research page.
Teaching
My teaching interests fall mainly into the areas of programming languages,
software engineering, and theory.
More information about my teaching interests and experience is
contained on my
teaching page.
Personal
I am married and have three children.
I enjoy sailing, skiing, reading, listening to
music, playing board and card games,
and doing almost anything with my
family.
