PhD in Computer Science - Programming Languages in Ithaca United States | Cornell University

Computer Science is designed for students focused on understanding computational processes from both theoretical and applied perspectives. Key research areas span algorithms, system architecture, AI, computer vision, computational biology, distributed systems, databases, machine learning, natural language processing, networking, numerical methods, development tools, programming languages, robotics, and computational theory. Cornell's Ph.D. program in computer science maintains a top-six national ranking, featuring comprehensive research across the discipline. The program stands out for its exceptional faculty, legacy of groundbreaking work, and the diversity of its doctoral studies. Faculty and doctoral candidates are based both in Ithaca and at Cornell Tech in New York City. The Computer Science Field also incorporates faculty from related departments (Electrical Engineering, Information Science, Applied Mathematics, Mathematics, Operations Research, Mechanical Engineering, Computational Biology, and Architecture) who may advise Ph.D. research in computer science.

Cornell's programming languages research team comprises eight faculty members and more than twenty Ph.D. candidates, recognized for both their comprehensive scope and specialized expertise in this fundamental area. The university has been a pioneer in programming language research since its early days, making seminal advances in type systems, automated proof systems, and formal semantics. Recent work has addressed critical challenges in cybersecurity, network systems, and distributed computing through innovative language design. Cornell scholars have also significantly contributed to compiler technology, code optimization techniques, specialized domain languages, and software development methodologies.