معرفی
Andrew Myers is a Professor in the Department of Computer Science at Cornell University, focusing on Programming Languages, Computer Security, and Distributed Systems. He is an ACM Fellow and currently serves as Editor-in-Chief for ACM Transactions on Programming Languages and Systems (TOPLAS). His professional roles include program chair or co-chair for conferences such as ACM POPL 2018, ACM CCS 2016, and POST 2014.
His research bridges formal methods with practical language design, as evidenced by projects like the Condorcet Internet Voting System and the Viaduct compiler. Contributions span security protocols, concurrent programming, and hardware design languages.
- 2023: Universally Composable Security for Program Partitioning
- 2022: A Flexible Type System for Fearless Concurrency, PDL: A High-Level Hardware Design Language
- 2021: Viaduct compiler for secure distributed programs
- 2020: Handling Bidirectional Control Flow
- 2018: MixT consistency language, Covert Channel-Free Hardware
Scientific recognition includes Best Paper Awards at POPL 1999, SOSP 2001, SOSP 2007, CIDR 2013, PLDI 2013, and PLDI 2015. Professional service includes conference organization (e.g., ACM POPL 2018 Program Chair, Steering Committee roles in PriSC and PLDI).
Myers maintains active open-source projects like civs (Condorcet Internet Voting System) and Viaduct, reflecting his commitment to secure, verifiable systems and language-driven solutions.
