Computer Science Department 47 Lab Campus Drive Williams College Williamstown, MA 01267 Office: Phone: Fax: Email: Homepage: TPL 302 413-597-4260 413-597-4250 freund@cs.williams.edu www.cs.williams.edu/~freund

B.S.	Stanford University	1995
M.S.	Stanford University	1998
Ph.D.	Stanford University	2000

• Design and implementation of programming languages and virtual machines;
• Type-based program analysis;
• Verification of multithreaded programs;
• Programming environments.

Steve 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.

Steve'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.