Job Application Materials

I seek a tenure-track Assistant Professor position.

I am a Postdoctoral Associate at Cornell University, where I work with Prof. Fred B. Schneider and Prof. Andrew Myers. My research and teaching interests center on security and programming languages.

The following materials are from the job search that I conducted during Spring 2009, which culminated in my current postdoc at Cornell. I will search again for a tenure-track position in Spring 2010.

  • Curriculum vitae
  • Research statement
  • Teaching statement
  • Representative papers:
    • Hyperproperties. [PDF]
      In Proc. IEEE Computer Security Foundations Symposium, June 2008.
      Michael R. Clarkson and Fred B. Schneider.
    • Civitas: Toward a Secure Voting System. [PDF][software]
      In Proc. IEEE Symposium on Security and Privacy, May 2008.
      Michael R. Clarkson, Stephen Chong, Andrew C. Myers.
    • Belief in Information Flow. [PDF]
      In Proc. IEEE Computer Security Foundations Workshop, June 2005.
      Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider.
  • Complete list of publications