Andrew C. Myers
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, and PLDI'13.
Myers is currently co-Editor-in-Chief for the Journal of Computer Security and serves on the editorial board of ACM Transactions on Computer Systems. He has also served on the editorial board of ACM Transactions on Information and System Security and was program chair of 2009 IEEE Security and Privacy Symposium and the 2010 IEEE Symposium on Computer Security Foundations. He is a past member of the DARPA ISAT study group.
computer security, programming languages, and systems.
Programming language theory, compilers, computer programming and software design.
I have served on the program committees of more than 30 computer science conferences and have been program chair for two major conferences, IEEE Security and Privacy and IEEE Computer Security Foundations. I am currently serving on the editorial boards of two journals: Transactions on Computer Systems and Journal of Computer Security.
- 2014. "Warranties for faster strong consistency." Paper presented at 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI'14) .
- 2015. "A hardware design language for timing-sensitive information-flow security." March. .
- 2015. "Finding counterexamples from parsing conflicts." June. .
- 2015. "Lightweight, flexible object-oriented generics." June. .
- 2015. "Diagnosing type errors with class." June. .
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
- MA (Computer & Information Science), Massachusetts Institute of Technology, 1994
- Ph D (Computer & Information Science), Massachusetts Institute of Technology, 1999