Computer Science and Artificial Intelligence Laboratory (CSAIL)

FILTER
Selected:
clear all
December 2, 2021

2021 EECS Awards

It’s nearing the end of 2021, and we want to celebrate the accomplishments and contributions of our incredible EECS community by sharing some of the awards given by

Doctoral Thesis: Relational compilation for end-to-end verification

Clement Pit-Claudel ABSTRACT: Purely functional programs verified using interactive theorem provers typically need to be translated to run: either by extracting them to a similar language (like Coq to

2021 Rising Stars Academic Career Workshop

Rising Stars is an intensive workshop for graduate students and postdocs with historically marginalized or underrepresented genders who are interested in pursuing academic careers in electrical engineering, computer

September 8, 2021

Climate and sustainability classes expand at MIT

MIT offers over 120 undergraduate classes related to sustainability, a sign of growing student and faculty interest in the environmental impacts of their fields.

September 3, 2021

Who can bend light for cheaper internet?

Wide Area Networks (WANs), the global backbones and workhorses of today’s internet that connect billions of computers over continents and oceans, are the foundation of modern online services.

May 21, 2021

New system cleans messy data tables automatically

With just 50 lines of code, the program spots and fixes likely errors.

May 7, 2021

A robot that can help you untangle your hair

Robotic arm equipped with a hairbrush helps with brushing tasks and could be an asset in assistive-care settings.

May 7, 2021

With a zap of light, system switches objects’ colors and patterns

A new system uses UV light projected onto objects coated with light-activated dye to alter the reflective properties of the dye, creating images in minutes. Image: courtesy of the

May 7, 2021

Undergraduates explore practical applications of artificial intelligence

SuperUROP scholars apply deep learning to improve accuracy of climate models, profitably match computers in the cloud with customers, and more.