Popular search terms
All Results (701)
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
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
Alumnus guides YouTube's search
- |
- Jan 16, 2019
Some days, there’s nothing better than slouching on the couch and watching a stream of YouTube videos – whether you’re catching up on Saturday Night Live skits, laughing with Dude Perfect, learning the latest makeup techniques from James Charles or chilling with cute puppy videos. And amazingly, the videos that end up in your recommended sections are also...
News + Stories