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 ...

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, ...

Mar. 26, 2026 Deepfake X-rays created by AI are now convincing enough to fool both doctors and AI models. In tests, radiologists had limited success identifying fake images, especially when they ...

Iran's foreign minister says they have "no intention of negotiating for now", while the White House says its war goals have almost been met.