Distinguished Lecture Series 2023
The Distinguished Lecture series brings computer scientists to Columbia to discuss current issues and research that are affecting their particular research … Continue reading Distinguished Lecture Series 2023
Research and News
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.
In Memoriam: Stephen H. Unger
Columbia Engineering mourns the passing of Stephen H. Unger, Professor Emeritus of Computer Science and Electrical Engineering at Columbia University. … Continue reading In Memoriam: Stephen H. Unger
CS Professors Awarded Test of Time Award at ICML’23
Richard Zemel and Toniann Pitassi were recognized for their paper, “Learning Fair Representations,” which established the subfield of machine learning–machine learning and fairness.
CS Professors Win Research Awards from the Columbia Center of AI Technology
The projects will explore algorithmic fairness, unified methods for interpreting artistic images found on the internet, and the development of a differentially-private data market system.
Exploring Inclusive Technology, Access for All
A summer research experience for undergraduates allows students to develop technology that aims to help people with disabilities.
Add to GMail