Korion Health, a startup founded by M.D./Ph.D. student Anna Li, won the $1 million Hult Prize Global Competition.

Hi there! I am an Assistant Professor with the Robotics Institute and Computer Science Department in the School of Computer Science at Carnegie Mellon University. My research interests span many ...

A video sequence of an underwater scene taken from above the water surface suffers from severe distortions due to water fluctuations. In this paper, we simultaneously estimate the shape of the water ...

I am currently a PhD student in Langugae Technologies Institute at CMU. I'm now working with Prof. Jack Mostow in Project LISTEN. I got the Best Student Paper Award in EDM2012! Click here for .pdf ...

JY: Tell us about yourself. How did you get here? DA: I grew up in Estonia. As luck would have it, my mother used to teach computer science at a local high school, and so I was exposed to programming ...

We prefer that projects are done in groups of two, although groups of three may be permitted depending on the scale of the project (ask the instructor for permission before forming a group of three).

For all exercises, to receive credit you need to obtain a green check in CS Academy. There is no partial credit on individual exercises. For guided exercises, watching the guided video is required -- ...

Very soon we’ll talk about the details of sorting algorithms, but before that let’s look at how Java’s built-in library handles sorting. In this set of notes, we’ll look at sorting arrays, sorting ...

At some point in their careers, most CS and ECE students will develop software or hardware that must be ultra reliable. Logical errors in such designs can be costly, even life threatening. There has ...

Team Chiron, a collaboration between researchers from CMU and the University of Pittsburgh, will compete in the second round of DARPA's Triage Challenge. Photo courtesy of Tom Shortridge, DARPA Team ...

This course provides an overview of the state of the art in program analysis and recent research in the area. Topics include program representations, abstract interpretation, type-based and constraint ...