Andrew C. Myers
| Andrew C. Myers | |
|---|---|
| Andrew Myers, Cornell UniversityAndrew_Myers_Cornell.jpg Andrew Myers at Cornell University (2025) | |
| Born | |
| 🏳️ Nationality | American |
| 🎓 Alma mater | Massachusetts Institute of Technology (Ph.D.) |
| 💼 Occupation | |
| Known for | Jif programming language, language-based security |
| 🏅 Awards | ACM Fellow |
Andrew C. Myers is an American computer scientist and the Class of 1912 Professor of Engineering in the Department of Computer Science at Cornell University. His research spans programming languages, computer security, distributed systems, and information-flow control.[1]
Academic career
Myers earned his Ph.D. in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology (MIT) under the supervision of Barbara Liskov.[1] His doctoral research explored programming language design for secure information flow.
After completing his doctorate, Myers joined the faculty at Cornell University, where he is the Class of 1912 Professor of Engineering.[2] At Cornell, he leads research spanning languages, and security.
His work has advanced the field of language-based security, demonstrating how type systems and static analysis can guarantee end-to-end confidentiality and integrity properties. Myers is best known for developing the Jif programming language, an extension of Java that integrates static information-flow control to enforce data security policies at compile time.[3]
Awards and honors
- Fellow of the Association for Computing Machinery (ACM)[4]
- Distinguished Paper Awards at POPL, SOSP, and PLDI[1]
- Class of 1912 Professorship, Cornell Engineering[2]
References
- ↑ 1.0 1.1 1.2 "Andrew C. Myers – Cornell Computer Science". Cornell University. Retrieved 2025-11-04.
- ↑ 2.0 2.1 "Andrew C. Myers". Cornell Engineering. Retrieved 2025-11-04.
- ↑ Andrew C. Myers (1999). "JFlow: Practical mostly-static information flow control". Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 228–241.
- ↑ Cite error: Invalid
<ref>tag; no text was provided for refs namedacm
This article "Andrew Myers (computer Scientist)" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Andrew Myers (computer Scientist). Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
