Area Slideshow

Team Led by Elias Bareinboim Wins $5M NSF Grant to Transform AI Decision-making
The multi-institutional team will use causal modeling techniques to build AI systems that better communicate with people and react to unforeseen circumstances.

Voices of CS: Wei Hao
Last August, Wei Hao stepped onto the Google Campus in Sunnyvale, California, as part of the inaugural MLCommons Rising Stars … Continue reading Voices of CS: Wei Hao

New Tool Automates the Formal Verification of Systems Software
The Software Systems Laboratory developed Spoq, a tool that significantly reduces the time and manual effort needed to verify software systems.

Christos Papadimitriou and Mihalis Yannakakis Awarded The John von Neumann Theory Prize
Christos Papadimitriou and Mihalis Yannakakis were honored by INFORMS for their significant contributions to the field of operations research and analytics.

CEAL Lab Wins Impact Recognition Award at CSCW 2023
The paper “I Want to Figure Things Out”: Supporting Exploration in Navigation for People with Visual Impairments” and three other … Continue reading CEAL Lab Wins Impact Recognition Award at CSCW 2023

Five Papers From The Computer Vision Group Accepted To ICCV 2023
Research papers from the Computer Vision Group were accepted to the International Conference on Computer Vision (ICCV ’23), the premiere … Continue reading Five Papers From The Computer Vision Group Accepted To ICCV 2023

Baishakhi Ray Wins Most Impactful Paper At ICSME ’23
The paper “An Empirical Study of API Stability and Adoption in the Android Ecosystem”, was recognized as the Most Impactful Paper from among the published papers at ICSME ’13.

AI on the Brain: A Q&A with Richard Zemel
ARNI Director Zemel goes to Washington to explain to Congress how Columbia’s new AI institute will connect major progress made in AI systems to our understanding of the brain.

Stephen Edwards Wins Test Of Time Award At ESWEEK ’23
The paper “Predictable Programming on a Precision Timed Architecture” from the CASES 2008 Conference was honored with a Test of Time Award.

Mihalis Fest
The Theory Group recently hosted a three-day workshop in honor of Professor Mihalis Yannakakis’ 70th birthday. The workshop, dubbed Mihalis … Continue reading Mihalis Fest

Papers from the Wu Lab Accepted to VLDB 2023
Four papers from the Wu Lab were presented at the 49th International Conference on Very Large Data Bases (VLDB 2023). … Continue reading Papers from the Wu Lab Accepted to VLDB 2023

Computer Security Pioneer Steve Bellovin First to Win Two USENIX Flame Awards
Bellovin shares his second lifetime award with Tufts’ Susan Landau and Georgetown’s Matt Blaze for their work on computer science, computer security, law, and public policy.