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. "Defining and enforcing referential security.." Paper presented at 3rd Conference on Principles of Security and Trust (POST'14) .
- 2014. "Warranties for faster strong consistency." Paper presented at 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI'14) .
- 2014. "Toward general diagnosis of static errors." Paper presented at ACM Symposium on Principles of Programming Languages (POPL'14) .
- 2013. "Reconciling exhaustive pattern matching with objects." Paper presented at ACM Conference on Programming Language Design and Implementation (PLDI'13), June. .
- 2013. "StatusQuo: Making familiar abstractions perform using program analysis." Paper presented at Conference on Innovative Data Systems Research (CIDR'13) .
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