Popular search terms
All Results (753)
Zhongdi (Delia) Qu
People
Meet Dean Lerner
- Feb 18, 2026
What is your academic focus? My research covers two main areas. One broad area is formal verification, where the goal is to prove that software behaves the way it is supposed to. In this direction, I have recently been exploring ways of using AI to help develop proofs about software. Human-centered design of software engineering tools is my other big area of...
News + Stories
Marten van Schijndel
Professor van Schijndel's main interest is in the representations that can be used to process language incrementally. He probes the linguistic processing of humans and of neural network language models using methodologies from psycholinguistics, comparing the predictions of computational models with human behavioral and neural responses. He organizes the...
People
Christopher De Sa
Christopher De Sa is an associate professor of computer science and a member of the Cornell Machine Learning Group where he leads the Relax ML Lab . His research interests include algorithmic, software, and hardware techniques for high-performance machine learning, with a focus on relaxed-consistency variants of stochastic algorithms such as asynchronous and...
People
Professor Thomas Ristenpart Wins Test of Time Award for Privacy Research
- |
- Oct 22, 2025
News + Stories
