معرفی
Andrew C. Myers is the Class of 1912 Professor of Engineering at Cornell University's Department of Computer Science. His primary research focuses on programming languages, security, and distributed systems, with an emphasis on formal methods and language-based security. He leads the Applied Programming Languages Group and is affiliated with Electrical and Computer Engineering (field). Key roles include Editor-in-Chief of ACM Transactions on Programming Languages and Systems (2017-2023), and chair of SIGPLAN Executive Committee. His work includes secure distributed systems (Fabric), hardware security (Hyperflow), and verified cryptographic protocols (Viaduct). Awards include the SOSP Best Paper Award (2007) and ACM POPL Most Influential Paper Award (2009).
- Education: Not explicitly stated in the text.
- Affiliations: Cornell University, SIGPLAN, Applied Programming Languages Group, Electrical and Computer Engineering (field).
Research interests center on high-level abstractions for security, distribution, extensibility, and persistence. Notable projects include secure voting systems (Civitas), information flow control in hardware (SecVerilog), and gamified programming education (Reduct). Over 50 students have been advised, with current advisees including Silei Ren and Yulun Yao.
Grants and Funding: Supported by NSF, DARPA (ISAT study), and IARPA (STONESOUP). Active in organizing conferences (e.g., General Chair POPL'23) and editorial boards.
Labs/Teams: Applied Programming Languages Group at Cornell, collaborating on projects like Gallifrey (geodistributed programming) and SecDCP (timing channel protection).
