Assistant Professor

Phone: 
(202) 994-0718
Email: 
clarkson@gwu.edu
Campus Location(s): 
Phillips Hall, 709
Office Hour: 
  • Tue: 2pm-3pm
Personal Home Page: 

http://www.seas.gwu.edu/~clarkson/

Michael Clarkson is an Assistant Professor of Computer Science at The George Washington University in Washington, D.C. He received a Ph.D. in Computer Science from Cornell University in 2010. Clarkson's research interests include computer security and programming languages. His work focuses on using principled techniques to define security and to construct secure systems. He is the lead creator of the Civitas internet voting system.

Education: 
Ph.D., 2010, Computer Science, Cornell University
M.S., 2004, Computer Science, Cornell University
B.S., 1999, Systems Analysis, Miami University
B.M., 1999, Music Performance, Miami University
Interests: 

Security: Electronic voting, security policies, information flow, and cryptography.
Programming languages: Semantics, logics, and language-based security; specification and verification of programs.

Selected Publications: 

Full publication list available at http://www.seas.gwu.edu/~clarkson/publications/