 |
Position: A. Barton Hepburn Professor of Computer Science Pronouns: he/him Office: TPL 302 Phone: 413.597.4260 E-mail: [email protected] Website |
Education
- Ph.D. Stanford University 2000
- M.S. Stanford University 1998
- B.S. Stanford University 1995
Interests
- Design and implementation of programming languages and virtual machines
- Type-based program analysis
- Verification of multithreaded programs
- Programming environments
Biography
Stephen received his PhD from Stanford University in 2000. His graduate work focused on mobile code security, and specifically on how to ensure type safety for downloaded Java programs.
He then worked at the Compaq Systems Research Center on various programmer productivity tools for several years before coming to Williams.
Research
Stephen’s current research focuses on light-weight checkers to identify defects in software, such as race conditions, atomicity errors, and specification violations. He typically teaches courses on introductory computer science, data structures and algorithms, and programming languages.