Computer Science and Artificial Intelligence Laboratory (CSAIL)

Testing unbuilt chips

March 9, 2012

A new software-simulation system promises much more accurate evaluation of promising — but potentially fault-ridden — multicore-chip designs.

Also labeled: Computer chips, Computer modeling, Computer science and technology, Design, Electrical engineering and electronics, Microchips, Multicore, Simulation, Software, Deadlock, Thread migration

Scott Aaronson wins NSF’s Alan T. Waterman Award

March 8, 2012

National Science Foundation’s most prestigious award will help fuel CSAIL researcher’s work.

Also labeled: Awards, honors and fellowships, Faculty, National Science Foundation (NSF), Quantum computing

Game on

March 2, 2012

As MIT Sloan Sports Analytics Conference kicks off, scholars and fans have produced a growing avalanche of quantitative research.

Also labeled: Alumni/ae, Analytics, Athletics, Basketball, Business and management, Economics, Faculty, Research, Special events and guest speakers, Sports, Students

Liskov named to National Inventors Hall of Fame

March 1, 2012

Also labeled: Awards, honors and fellowships, Electrical engineering and electronics, Faculty, Innovation and Entrepreneurship (I&E), Programming languages

New system allows robots to continuously map their environment

February 16, 2012

Algorithm to build 3-D maps requires a low-cost camera, no human input.

Also labeled: Blindness, Control systems, Faculty, Graduate, postdoctoral, Kinect, Mapping, Research, Robots, Staff, Students

MITx prototype course opens for enrollment

February 13, 2012

Online-learning initiative’s first offering, ‘6.002x: Circuits and Electronics,’ accepting registrants now.

Also labeled: Education, teaching, academics, Electrical engineering and electronics, Faculty, Global Education and Career Development, MITx, Students, Innovation and Entrepreneurship (I&E), MIT Administration, Provost

Cuthbert receives $500,000 Digging into Data grant

February 10, 2012

Will support innovative musicology research

Also labeled: Arts, Awards, honors and fellowships, Collaboration, Digital technology, Faculty, Humanities, Innovation and Entrepreneurship (I&E), Music, Programming, Research

Dennis Selected for ACM SIGOPS Hall of Fame

February 10, 2012

Also labeled: Awards, honors and fellowships, Faculty

The mathematics of taste

January 24, 2012

By using ‘genetic programming’ to crossbreed algorithms, researchers help flavor companies figure out what their customers like.

Also labeled: Genetics, Industry, Flavor design, Knowledge mining, Programming

The faster-than-fast Fourier transform

January 18, 2012

For a large range of practically useful cases, MIT researchers find a way to increase the speed of one of the most important algorithms in the information sciences.

Also labeled: Compression, Computer science and technology, Electrical engineering and electronics, Fourier transforms, Signal processing

The quantifier

January 12, 2012

By helping biologists turn their hunches into rigorous mathematical models, Polina Golland builds software that interprets medical images.

Also labeled: Biomedicine, Computer vision, Faculty, Image segmentation, Neuroscience, Research, Russia

Self-aware computing project named a 'world changing' idea by Scientific American

December 20, 2011

Project Angstrom selected by magazine's editors; featured in December issue

Also labeled: Awards, honors and fellowships, Computer science and technology, Electrical engineering and electronics, Faculty, Microsystems Technology Laboratories, Research Laboratory of Electronics, Students

Putting the ‘art’ in artificial intelligence

December 12, 2011

CSAIL associate professor develops AI systems that can interpret images.

Also labeled: Arts, Computational photography, Computer science and technology, Computer vision, Faculty, Research

CSAIL researcher Gifford named ACM fellow

December 9, 2011

Also labeled: ACM, Awards, honors and fellowships, Faculty

Kellis wins Niki Award

December 9, 2011

CSAIL principal investigator honored for contributions to science and technology.

Also labeled: Awards, honors and fellowships, Faculty

Streamlining chip design

December 8, 2011

Designers of mobile devices need to think hard about which functions to implement in hardware and which in software. A new programming language makes that much easier.

Also labeled: BlueSpec, Electronic system-level design and verification (ESL), Hardware description languages, Hardware synthesis, Verilog

Peh named ACM Distinguished Scientist

November 28, 2011

CSAIL principal investigator receives Association for Computing Machinery honor.

Also labeled: ACM

Robots in reality

November 28, 2011

Nicholas Roy designs robots for real-world challenges.

Also labeled: Aeronautical and astronautical engineering, Computer science and technology, Faculty, Machine learning, Robots

CSAIL robots take center stage

November 14, 2011

Computer Science and Artificial Intelligence Laboratory Principal Investigator Daniela Rus collaborated with modern dance company Pilobolus this past year to bring flying robots to the stage.

Also labeled: Arts, Research, Robots, Theater