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.

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.

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.

What you see is pinyin, literally 'spell out the sound'. It's a system for romanizing Chinese ideograms, used in mainland China for Mandarin, a.k.a. putonghua.

GiRaF is a computational tool for identification of reassortments in influenza viruses from sequence databases of isolates. Reassortments in influenza - a process where strains exchange genetic ...

The area of approximation algorithms is aimed at giving provable guarantees on the performance of heuristics for hard problems. The course will present general techniques (such as convex ...

GSI (Game Shrink Interactive) plays Rhode Island Hold 'Em optimally. Rhode Island Hold 'Em is a three card poker game invented by Jiefu Shi and Michael Littman. The main difference between Rhode ...

We have a preprint: Accelerating Scientific Research with Gemini: Case Studies and Common Techniques arXiv with blog post . See also our First Proof results We ran an LLM-based feedback experimental ...