Andrew Myers is a highly respected Professor in the Department of Computer Science at Cornell University. His research primarily focuses on programming languages, computer security, and distributed systems. He is renowned for his pioneering work in language-based security, aiming to make it easier to build software systems that are verifiably secure and reliable by design. Professor Myers has made significant contributions to areas such as secure information flow, type systems, and concurrent and distributed programming. His work often explores how programming language features can provide strong security guarantees, influencing both academic research and practical software development approaches. He is also a dedicated educator, mentoring students and teaching courses on programming languages, compilers, and computer security.
Andrew Myers's work history includes a series of influential roles in various companies. Here is a detailed list of his professional journey:
Elected as an ACM Fellow in 2017 for his significant contributions to programming languages and security, particularly for his influential work on secure information flow and language-based security.
Led the development of Jif (Java with information flow) and J& (Jif with dependent types), experimental programming languages that demonstrate how type systems can enforce information security policies at compile time.
Received this prestigious award recognizing a paper from the ICFP (International Conference on Functional Programming) proceedings 10 years prior that has demonstrated the most influence and impact on the field.
Awarded an Alfred P. Sloan Research Fellowship, which recognizes early-career scientists and scholars of outstanding promise.
Received the National Science Foundation CAREER Award, a prestigious award in support of junior faculty who exemplify the role of teacher-scholars through outstanding research, excellent education, and the integration of education and research.
Yale University
Highperformr Signals uncover buying intent and give you clear insights to target the right people at the right time — helping your sales, marketing, and GTM teams close more deals, faster.
RippleMatch is an intelligent recruitment platform that helps early-career candidates discover and connect with their ideal job opportunities. By leveraging AI and data-driven insights, it aims to make the job search process more efficient and equitable for students and recent graduates, while enabling employers to find diverse and qualified talent more effectively. It streamlines the initial stages of hiring, moving beyond traditional resume screening to focus on skills and preferences.
Get verified emails, phone numbers, and LinkedIn profile details
Discover contacts with similar roles, seniority, or companies
Uncover insights like skills, work history, social links, and more
Explore contacts in-depth — from verified emails and phone numbers to LinkedIn activity, job changes, and more — all in one powerful view.
Highperformr AI helps you surface the right people and enrich your CRM with live, accurate contact insights so your teams can connect faster and close smarter.
Thousands of contacts — including decision-makers, influencers, and ICP matches — are just a search away.
Thousands of companies, including, are just a search away.