Software Systems
![](https://www.cs.columbia.edu/wp-content/uploads/2024/06/WebsiteImage_2023_DIVID-deepfake-detection-tool.jpg)
Researchers from the Software Systems Laboratory expand their work from detecting AI-generated texts to discovering deepfake videos.
![CIDR logo](https://www.cs.columbia.edu/wp-content/uploads/2024/04/WebsiteImage_2023_CIDR2024.jpg)
Junfeng Yang and Asaf Cidon led the research, Chablis, a scale-out, geo-distributed, transactional, general purpose key-value store.
![Ronghui Gu and Jason Nieh](https://www.cs.columbia.edu/wp-content/uploads/2023/10/WebsiteImage_2023_Spoq-Nieh-Gu.jpg)
Spoq significantly reduces the time and manual effort needed to verify software systems.
About
The Software Systems group pursues fundamental research in all aspects of the design, implementation, analysis, verification, and evaluation of software systems.
The group conducts research with systems at all scales, from handheld devices to cloud computing data centers. They take an experimental systems approach in building real systems to investigate new research ideas, create tools to enable developers to quickly and correctly build complex systems, and teach students how to do it.