\We find ourselves on the cusp of a revolution in the transportation industry, with an expectation for the impending widespread adoption of self-driving capabilities, promising faster and more efficient deliveries, more comfort and better bottom lines.

For More Information, Contact:

In this talk, I will describe recent work on automatically verifying programs written in higher-order and imperative program languages using a novel form of symbolic execution. Our approach to higher-order symbolic execution is sound and relatively complete with respect to a first-order solver for base-type values.

For More Information, Contact:

For More Information, Contact:

For More Information, Contact:

Monday, May 14, 2018 - by

Amal Nanavati, a double major in computer science and global studies in the Class of 2018, has received two prestigious prizes — the Fulbright Award and the inaugural K&L Gates Prize.

For More Information, Contact:

Thursday, May 10, 2018 - by

Carnegie Mellon University's School of Computer Science will offer a new undergraduate degree in artificial intelligence beginning this fall, providing students with in-depth knowledge of how to transform large amounts of data into actionable decisions.

SCS has created the new AI degree, the first offered by a U.S. university, in response to extraordinary technical breakthroughs in AI and the growing demand by students and employers for training that prepares people for careers in AI.

For More Information, Contact:

A reception will follow outside Rashid Auditorium.

For More Information, Contact:

Carnegie Music Hall, Carnegie Museum 4400 Forbes Avenue, Pittsburgh, PA 15213 (Off campus; shuttle service will be provided. You may also download driving and walking directions.)

For More Information, Contact:

Carnegie Music Hall, Carnegie Museum 4400 Forbes Avenue, Pittsburgh, PA 15213 (Off campus; shuttle service will be provided. You may also download driving and walking directions: .)

For More Information, Contact:

For More Information, Contact:

Pages

Subscribe to Carnegie Mellon University - Computer Science Department RSS