Andrew Myers

Andrew C. Myers

Professor
Computer Science
428 Gates Hall

Biography

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

  • Andrew C. Myers. JFlow: practical mostly-static information flow control. 26th ACM Symp. on Principles of Programming Languages (POPL), pp. 228–241, January 1999. (ACM POPL Most Influential Paper Award, 2009).
  • Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers. Secure program partitioning. ACM Trans. on Computer Systems, 20(3):283–328, August 2002.
  • Andrei Sabelfeld and Andrew C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5–19, January 2003.
  • Michael R. Clarkson, Stephen Chong, and Andrew C. Myers. Civitas: Toward a secure voting system. IEEE Symp. on Security and Privacy, pp. 354–368, May 2008.
  • Danfeng Zhang, Yao Wang, G. Edward Suh, and Andrew C. Myers. A hardware design language for timing-sensitive information-flow security. Int'l Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp. 503–516, March 2015.

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

Education

Massachusetts Institute of Technology 1999

Websites