- About
- Events
- Calendar
- Graduation Information
- Cornell Learning Machines Seminar
- Student Colloquium
- BOOM
- Fall 2024 Colloquium
- Conway-Walker Lecture Series
- Salton 2024 Lecture Series
- Seminars / Lectures
- Big Red Hacks
- Cornell University - High School Programming Contests 2024
- Game Design Initiative
- CSMore: The Rising Sophomore Summer Program in Computer Science
- Explore CS Research
- ACSU Research Night
- Cornell Junior Theorists' Workshop 2024
- People
- Courses
- Research
- Undergraduate
- M Eng
- MS
- PhD
- Admissions
- Current Students
- Computer Science Graduate Office Hours
- Advising Guide for Research Students
- Business Card Policy
- Cornell Tech
- Curricular Practical Training
- A & B Exam Scheduling Guidelines
- Fellowship Opportunities
- Field of Computer Science Ph.D. Student Handbook
- Graduate TA Handbook
- Field A Exam Summary Form
- Graduate School Forms
- Instructor / TA Application
- Ph.D. Requirements
- Ph.D. Student Financial Support
- Special Committee Selection
- Travel Funding Opportunities
- Travel Reimbursement Guide
- The Outside Minor Requirement
- Diversity and Inclusion
- Graduation Information
- CS Graduate Minor
- Outreach Opportunities
- Parental Accommodation Policy
- Special Masters
- Student Spotlights
- Contact PhD Office
Research Associate
Kevin Laeufer
Research Associate ; Ph.D., University of California, Berkeley, 2024Research Focus: Automated Testing, Verification and Debugging of RTL Hardware Designs
Research Areas: Computer Architecture & VLSI, Programming Languages, Software Engineering
Todd Schmid
Research Associate ; Ph.D., University College LondonResearch Focus: Computation theory
Research Areas: Theory of Computing
Weijia Song
Research Associate ; Ph.D., Peking University, 2014Research Focus: Cloud Storage and file system, network and distributed system
Postdoctoral Associate/Fellow
Parisa Ataei
Postdoctoral Researcher ; Ph.D., Oregon State University, 2021Research Focus: Compiler verification, language design and formalization, type systems
Research Areas: Database Systems, Programming Languages, Systems and Networking
Kiante Brantley
Postdoctoral Researcher ; Ph.D., University of Maryland, College Park, 2022Research Focus: Machine learning, imitation learning, natural language processing
Research Areas: Artificial Intelligence
Shufeng Kong
Postdoctoral Associate ; Ph.D., University of Technology, Sydney (Australia)Research Areas: Artificial Intelligence, Machine Learning
Lydia Liu
Postdoctoral Associate ; Ph.D., University of California, Berkeley, 2022Research Focus: Machine Learning, algorithms, societal Impact
Research Areas: Artificial Intelligence, Machine Learning
Visiting Professor/Fellow/Scientist
Hyung-Chan An
Adjunct Professor ; Ph.D., Cornell UniversityResearch Focus: Algorithms
Graeme Bailey
Adjunct Professor ; Ph.D., University of BirminghamResearch Focus: Mathematics
Le Duy (Andrew) Dung
Visiting Professor ; Ph.D., Singapore Management University, Singapore, 2020Research Focus: Machine Learning, Recommender Systems, Optimization
Research Areas: Artificial Intelligence, Machine Learning
Christoph Kreitz
Adjunct Professor ; Ph.D., University of Hagen, 1984Research Focus: Program synthesis, automated deduction, program verification, and formal logics