- About
- Events
- Calendar
- Graduation Information
- Cornell Tech Colloquium
- Student Colloquium
- Student Recognition
- 2020 Celebratory Event
- BOOM
- CS Colloquium
- SoNIC Workshop
- Conway-Walker Lecture Series
- Salton Lecture Series
- Seminars / Lectures
- Big Red Hacks
- Cornell University High School Programming Contest
- Game Design Initiative
- CSMore: The Rising Sophomore Summer Program in Computer Science
- Explore CS Research
- Research Night Fall 2020
- People
- Courses
- Research
- Undergraduate
- M Eng
- MS
- PhD
Research Associate
Weijia Song

Research Focus: Cloud Storage and file system, network and distributed system
Postdoctoral Associate/Fellow
Karim Ahmed

Research Focus: Machine learning and computer vision
Research Areas: Artificial Intelligence
Silke Glas

Hoda Heidari

Research Focus: AI, ML, Algorithmic Economics and Mechanism Design
Research Areas: Artificial Intelligence
Jaehyun Hwang

Research Focus: Cloud data center networking, TCP/MPTCP flow & congestion control, software-defined networking, multi-access edge computing, big data platforms
Research Areas: Systems and Networking
Rahul Kidambi

Research Focus: Machine Learning, Deep Learning; AI; Large-scale/streaming optimization methods
Research Areas: Artificial Intelligence
Shufeng Kong

Ali Munir

Research Focus: Measurement, Modeling, Design, Optimization, and Management of Networking and Security Systems.
Research Areas: Systems and Networking
Kristina Sojakova

Research Focus: Type theory, logic, category theory, and programming language
Research Areas: Programming Languages
Hardik Soni

Research Focus: Programmable Networks, network programming languages, Software-defined Networks
Research Areas: Programming Languages, Systems and Networking
Mina Tahmasbi Arashloo

Research Focus: Networked Systems with an emphasis on Software Defined Networks (SDNs) and Programmable Data Planes
Research Areas: Systems and Networking
Visiting Professor/Fellow/Scientist
Mark Bickford

Research Focus: Logic, recursion theory, and set theory
Research Areas: Theory of Computing
Christoph Kreitz

Research Focus: Program synthesis, automated deduction, program verification, and formal logics
Software Engineer
Ross Tate

Research Focus: Language Design, Program Optimization, Type Theory, Semantics, Program Analysis
Research Areas: Programming Languages, Theory of Computing