This is an introductory course on the foundations of programming languages. The central organizing principle is the identification of language features with types. The theory of programming languages, ...

The class notes provide additional reading material. They complement the lecture, but do not replace it. The schedule (including exam dates) is subject to change throughout the semester.

The lecture notes will be available after each lecture to assist with studying -- please read them as they often contain material that goes beyond just what we covered in lecture! For supplemental ...

Press the button to begin the test. You're goal is to tap the blue ribbons as QUICKLY and as ACCURATELY as possible. Please be sure not to change the orientation of the device or resize the window.

The CMU Navlab group builds computer-controlled vehicles for automated and assisted driving. Since 1984, we have built a series of robot cars, vans, SUVs, and buses. More recent researches of Navlab ...

@article{Sharp:2018:VSC, author = {Sharp, Nicholas and Crane, Keenan}, title = {Variational Surface Cutting}, journal = {ACM Trans. Graph.}, volume = {37}, number ...

SCS faculty member Justin Chan has received an American Heart Association Career Development Award to support his research on using AI-enabled hearables to expand access to cardiac monitoring.

but if is considered more readable in some situations.

I am now working for Google in Mountain View since November 2013.

The LTI's Daniel Fried is working to eliminate the communications gaps that prevent today's AI tools from being trusted coworkers and collaborators.

This paper describes a numerical method for surface parameterization, yielding maps that are locally injective and discretely conformal in an exact sense. Unlike previous methods for discrete ...