Sean W. Smith     Last modified: 01/28/12 11:16:06 PM


B.A., 1987.
Mathematics , Princeton University.
Magna cum laude, Phi Beta Kappa, Sigma Xi.
Advisor: Andrew Appel
Thesis: The Apparent Link Between Typability and Computational Complexity in Lambda-Calculus

M.S., 1988. Ph.D., 1994.
Computer Science , Carnegie Mellon University.
Advisor: Doug Tygar .
Thesis: Secure Distributed Time for Secure Distributed Protocols.


Los Alamos National Laboratory
Post-doctoral Research Associate, 1994-1996.
Technical Staff Member, 1996-1996.
Computer Research and Applications Group (CIC-3)

IBM T.J. Watson Research Center
Research Staff Member, 1996 - 2002.
Secure Systems and Smart Cards
(on leave of absence from August 2000 to July 2002)

Dartmouth College
Assistant Professor, July 2000 - June 2006.
Associate Professor (with tenure), July 2006 - June 2011
Professor, July 2011 - present
Department of Computer Science

Ancient Research Statement (Click here)

Papers (Click here)

Patents (Click here)

Teaching (Click here)

Advising (Click here)

FIPS 140 Validations (Click here)

Back home Maintained by Sean Smith,