Andrew C. Myers

Computer Science


Andrew Myers is a Professor in the Computer Science Department at Cornell University in Ithaca, NY. He received his Ph.D. in Electrical Engineering and Computer Science from MIT in 1999.

His research interests include computer security, programming languages, and distributed and persistent objects. His work on computer security has focused on practical, sound, expressive languages and systems for enforcing information security. The Jif programming language makes it possible to write programs which the compiler ensures are secure. The Polyglot extensible compiler framework is now widely used for programming language research.

Myers is an ACM Fellow. He has received awards for papers appearing in POPL’99, SOSP’01, SOSP’07, CIDR’13, PLDI’13 and PLDI’15. Myers is the current Editor-in-Chief for ACM Transactions on Programming Languages and Systems (TOPLAS).

Research Interests

Computer security, programming languages, and systems.

Teaching Interests

Programming language theory, compilers, computer programming and software design.

Selected Publications

  • Ferraiuolo, Andrew, Hua Weizhe, Andrew C. Myers, G. Edward Suh.  2017.  “Secure information flow verification with mutable dependent types.”  Paper presented at 54th Design Automation Conference (DAC),  June.
  • Arawjo, Ian, Cheng-Yao Wang, Andrew C. Myers, Erik Andersen, Francois Guimbretiere.  2017.  “Teaching programming with gamified semantics.”  Paper presented at ACM CHI Conf. on Human Factors in Computing Systems,  May.
  • Liu, Jed, Owen Arden, Michael D. George, Andrew C. Myers.  2017. “Fabric: Building open distributed systems securely by construction.”  Journal of Computer Security 1-60.
  • Ferraiuolo, Andrew, Rui Xu, Danfeng Zhang, Andrew C. Myers, G. Edward Suh.  2017.  “Verification of a practical hardware security architecture; Using information flow to verify an implementation of the TrustZone architecture.”  Paper presented at Int’l Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS),  April (2nd Quarter/Spring).
  • Sheff, Isaac, Tom Magrino, Jed Liu, Andrew C. Myers, Robert van Renesse.  2016.  “Safe serializable secure scheduling: transactions and the trade-off between security and consistency; Fixing a side channel created by an intrinsic conflict between consistency and security.”  Paper presented at 23rd ACM Conf. on Computer and Communications Security (CCS),  October (4th Quarter/Autumn).

Selected Awards and Honors

  • 2014 ACM Fellow (ACM) 2013
  • James and Mary Tien Excellence in Teaching Award (Cornell, College of Engineering) 2010
  • Provost Award for Distinguished Scholarship (Provost’s Office) 2010
  • Merrill Presidential Scholar Outstanding Educator Award (Cornell) 2009
  • Abraham T. C. Wong ’72 Excellence in Teaching Award 2002


Massachusetts Institute of Technology 1999