Something Missing in Euclid? Twenty-Five Centuries of Research Newly Informed by Cornell CS’ Nuprl Proof Assistant
National Science Foundation Career Award Given to Adrian Sampson
Google Faculty Research Awards for Multiple CS and Cornell Tech Faculty
CS Professor David Gries Wins SIGCSE Award for “Top Ten CS Education Research Paper” from the Last Half-Century
CS Professor Joseph Halpern elected to the National Academy of Engineering (NAE)
CS Partners with Ripple, Leading Payments Company, to Accelerate Innovation in Blockchain and Cryptocurrency
AI Reduces Citizen Science Biases in New Research by Di Chen and Carla Gomes
Ross Knepper receives a second Amazon Research Award
"Multi-arm bandits" help Driving Apps, Shopping Algorithms, and Music Selection: Robert Kleinberg Investigates
Immanuel Trummer's paper published as ACM Research Highlight for October
