Research and Teaching Interests

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

Awards

  • Intel Foundation Fellowship, 2007.
  • National Science Foundation Graduate Research Fellowship, 2001.
  • Four Outstanding Teaching Assistant Awards, Cornell Computer Science: Functional Programming and Data Structures, 2008; System Security, 2004; Advanced Programming Languages, 2003; Introduction to Compilers, 2001
  • Cornell University Fellowship, 2000.

Service

  • Florida Division of Elections, 2008: Member of team commissioned by FL DoE for security review of Scytl Remote Voting Software, which was used by about 900 overseas voters in the 2008 U.S. General Election.
  • Program Committees: VOTE-ID'09 (International Conference on E-voting and Identity), WOTE'06 (Workshop on Trustworthy Elections)

Software Projects

  • Civitas, a secure electronic voting system.
  • PolyJ, improved generics for Java.
  • Polyglot, an extensible compiler framework.

Past Activities