Stephen N. Freund

Stephen Freund Position: Professor
Office: TPL 302
Phone: 413.597.4260
E-mail: [email protected]
Website: cs.williams.edu/~freund

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.