معرفی
Andrew Myers is a Professor in the Department of Computer Science at Cornell University, specializing in programming languages, computer security, and distributed systems. He serves as the Editor-in-Chief for ACM Transactions on Programming Languages and Systems (TOPLAS) and has chaired major conferences including ACM POPL 2018, ACM CCS 2016, POST 2014, IEEE CSF 2010, and IEEE S&P 2009.
Myers' research focuses on the intersection of programming languages and security, particularly in developing language-based approaches to ensure security properties in distributed systems. His pioneering work in information flow control has established foundational techniques for tracking and controlling how sensitive information propagates through programs. He has made significant contributions to secure compilation, type systems that enforce security policies, and programming models for geographically distributed applications where consistency and security are critical concerns.
Analysis of Myers' publication record reveals a consistent research trajectory centered on using programming language techniques to address security challenges. His early work established fundamental approaches to information flow security, which evolved into practical systems like Jif (Java information flow) and more recently Viaduct for secure distributed programming. Recent publications show increasing focus on secure distributed programming, information flow control in complex systems, and type systems that enable secure concurrency without sacrificing performance.
- ACM Fellow
- POPL'99 Best Paper Award
- SOSP'01 Best Paper Award
- SOSP'07 Best Paper Award
- CIDR'13 Best Paper Award
- PLDI'13 Best Paper Award
- PLDI'15 Best Paper Award
Through the Programming Languages Mentoring Workshop (PLMW) at major conferences including POPL and PLDI, Myers has been actively involved in mentoring the next generation of programming languages researchers. His service as Editor-in-Chief of TOPLAS demonstrates his leadership in the field, overseeing the publication of cutting-edge research in programming languages and systems. While specific grant information isn't detailed in the provided text, his sustained research output and leadership roles suggest significant external funding support over his career.
Though specific lab affiliations aren't mentioned in the provided text, Myers' research has clearly involved collaboration with numerous students and colleagues across multiple institutions. His work on systems like Viaduct and Jif suggests the leadership of research teams focused on building practical implementations of language-based security techniques. His active participation in conference organization and program committees indicates strong connections with the broader programming languages and security research communities.
