Home | Department of Computer Science

This weekend—Big Red Hacks at Cornell

Around 500 students from across the country will gather on campus September 20, 21, and 22 for Big Red Hacks, Cornell’s oldest and largest student-run hackathon, as reported in the Cornell Chronicle. This year’s theme is “Community Superheroes.” Registration for the event closes Sept. 15....

Yoav Artzi Receives Google Focused Research Award

Yoav Artzi, Assistant Professor in the Department of Computer Science and Cornell Tech, has received a Google Focused Research Award to...

07.08.19

Éva Tardos Honored at the IEEE Vision, Innovation, and Challenges Summit

For contributions to the field of algorithms—including foundational new methods in optimization, approximation algorithms, and...

05.13.19

Jon Kleinberg Receives Vannevar Bush Award from the U.S. Department of Defense

Jon M. Kleinberg, Tisch University Professor of Computer Science and Information Science, received The Vannevar Bush Award—the United...

05.03.19

National Science Foundation Career Award Given to Adrian Sampson

CS Assistant Professor Adrian Sampson has been given a career award by the National Science Foundation for his work on ...

04.01.19

Something Missing in Euclid? Twenty-Five Centuries of Research Newly Informed by Cornell CS’ Nuprl Proof Assistant

The ongoing Nuprl initiative—that implements computational mathematics by providing logic-based tools for program automation—is turning up some surprising and significant results. In conversation with Robert Constable, Professor of Computer Science and founding dean of CIS (who joined the faculty in 1968), and Ariel Kellison, a research support specialist for Nuprl, it was revealed that Kellison had discovered something missing in Euclid’s work.

Read more

News

Edsger W. Dijkstra Prize Awarded to Cornell CS Ph.D.s

Research