- Tue: 2pm-3pm
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.
Security: Electronic voting, security policies, information flow, and cryptography.
Programming languages: Semantics, logics, and language-based security; specification and verification of programs.
Full publication list available at http://www.seas.gwu.edu/~clarkson/publications/