Draft:Andrew Myers (computer Scientist)
| Submission declined on 4 November 2025 by Ibjaja055 (talk). This submission is not adequately supported by reliable sources. Reliable sources are required so that information can be verified. If you need help with referencing, please see Referencing for beginners and Citing sources.
Where to get help
How to improve a draft
You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Editor resources
|  |
Andrew C. Myers | |
|---|---|
| Andrew Myers, Cornell University Andrew Myers at Cornell University (2025) | |
| Alma mater | Massachusetts Institute of Technology (Ph.D.) |
| Known for | Jif programming language, language-based security |
| Awards | ACM Fellow |
| Scientific career | |
| Fields | Computer science |
| Institutions | Cornell University |
| Doctoral advisor | Barbara Liskov |
| Doctoral students | Stephen Chong, Michael Clarkson, Danfeng Zhang |
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
[edit]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 spans across 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
[edit]- 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
[edit]- ^ a b c "Andrew C. Myers – Cornell Computer Science". Cornell University. Retrieved 2025-11-04.
- ^ a b "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 conference}}: Unknown parameter|booktitle=ignored (|book-title=suggested) (help) - ^ Cite error: The named reference
acmwas invoked but never defined (see the help page).