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.
computer security, programming languages, and systems.
Programming language theory, compilers, computer programming and software design.
Myers is currently serving as Editor-in-Chief of ACM Transactions on Programming Languages and has served on the editorial boards of ACM Transactions on Computer Systems and Journal of Computer Security. He has served on the program committees of more than 40 computer science conferences and has been program chair or co-chair for several conferences. He serves on and has chaired the ACM Doctoral Dissertation Award Committee.
- 2017. "Secure information flow verification with mutable dependent types." Paper presented at 54th Design Automation Conference (DAC), June. .
- 2017. "Teaching programming with gamified semantics." Paper presented at ACM CHI Conf. on Human Factors in Computing Systems, May. .
- 2017. "Fabric: Building open distributed systems securely by construction." Journal of Computer Security 1-60. .
- 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). .
- 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
- MA (Computer & Information Science), Massachusetts Institute of Technology, 1994
- Ph D (Computer & Information Science), Massachusetts Institute of Technology, 1999