- About
- Events
- Calendar
- Graduation Information
- Cornell Learning Machines Seminar
- Student Colloquium
- BOOM
- Fall 2024 Colloquium
- Conway-Walker Lecture Series
- Salton 2023 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
- 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
Todd Schmid
![](https://www.cs.cornell.edu/sites/default/files/styles/icon-100x100/public/schmid_todd.jpg?itok=7jKpk7LN)
Research Focus: Computation theory
Research Areas: Theory of Computing
Weijia Song
![](https://www.cs.cornell.edu/sites/default/files/styles/icon-100x100/public/Song%2C%20Weija.png?itok=rpSDMmSg)
Research Focus: Cloud Storage and file system, network and distributed system
Postdoctoral Associate/Fellow
Parisa Ataei
![](https://www.cs.cornell.edu/sites/default/files/styles/icon-100x100/public/ataei_parisa.png?itok=4W6pgDAu)
Research Focus: Compiler verification, language design and formalization, type systems
Research Areas: Database Systems, Programming Languages, Systems and Networking
Kiante Brantley
![](https://www.cs.cornell.edu/sites/default/files/styles/icon-100x100/public/brantley_kiante.jpg?itok=KhA8tgLw)
Research Focus: Machine learning, imitation learning, natural language processing
Research Areas: Artificial Intelligence
Shufeng Kong
![](https://www.cs.cornell.edu/sites/default/files/styles/icon-100x100/public/default_images/person2.jpg?itok=7doVXhpA)
Research Areas: Artificial Intelligence, Machine Learning
Lydia Liu
![](https://www.cs.cornell.edu/sites/default/files/styles/icon-100x100/public/2021-4.jpg?itok=l-CJ0els)
Research Focus: Machine Learning, algorithms, societal Impact
Research Areas: Artificial Intelligence, Machine Learning
Visiting Professor/Fellow/Scientist
Hyung-Chan An
![](https://www.cs.cornell.edu/sites/default/files/styles/icon-100x100/public/chan_an_hyung.jpg?itok=MVGr6r-7)
Research Focus: Algorithms
Graeme Bailey
![](https://www.cs.cornell.edu/sites/default/files/styles/icon-100x100/public/bailey_graeme_0.jpg?itok=qRv7DHfb)
Research Focus: Mathematics
Le Duy (Andrew) Dung
![](https://www.cs.cornell.edu/sites/default/files/styles/icon-100x100/public/andrew_le_duy_dung.jpeg?itok=dlWleQNU)
Research Focus: Machine Learning, Recommender Systems, Optimization
Research Areas: Artificial Intelligence, Machine Learning
Christoph Kreitz
![](https://www.cs.cornell.edu/sites/default/files/styles/icon-100x100/public/Kreitz%2C%20Christoph.jpg?itok=h0EmMB5j)
Research Focus: Program synthesis, automated deduction, program verification, and formal logics