Javascript is required for the SCS calendar.

I am currently the chair of CATCS . Please check it out - we welcome any suggestions. I was the PC chair of SODA, 2024 . The accepted papers are here. An alternative talk schedule format is here. A ...

SCS graduate students Michelle Zhao, Conrad Borchers and Thomas (Hanwen) Zhu have been named 2026 Siebel Scholars.

I am looking for new students. My current research focus is enabling robots to learn strategies (tricks, hacks) to do tasks from direct instruction, googling and using the web, observation, and ...

Frank Pfenning Personal Home PageSubstructural Type Systems Tutorial at POPL 2025 (introductory AI-generated podcast) (live code) Adjoint Natural Deduction (Extended Version) Junyoung Jang, Sophia ...

This page works through an example of fitting a logistic model with the iteratively-reweighted least squares (IRLS) algorithm. If you'd like to examine the algorithm in more detail, here is Matlab ...

format is used to produce formatted output. format outputs the characters of control-string, except that a tilde (~) introduces a directive. The character after the tilde, possibly preceded by prefix ...

Ryan O'Donnell Professor Theory Group, Computer Science Dept., CMU 7213 Gates Hillman Center Administrative Assistant: Emi Perdan Analysis of Boolean Functions book Free PDF download Buy a copy from ...

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

CMU's Project Olympus and the NSF Innovation Corps Hub Mid-Atlantic Region recently hosted entrepreneurs and researchers in AI and robotics to help faculty, students and alumni transform their ...

Throught this course you will be working on big software projects and an important part of any large project is documentation. Documentation is especially important in group projects, like many of the ...