When Ruby Redlich graduated from SCS this past May, she left campus with more than her bachelor's degree in computational biology. She also had a first-author credit in a top journal for research that ...

This course provides an overview of the state of the art in program analysis and recent research in the area. Topics include program representations, abstract interpretation, type-based and constraint ...

I am 8 years old. Some of my little friends say that there is no Santa Claus. Papa says "If you see it in the Sun, it is so." Please tell me the truth, is there a Santa Claus? Virginia, Your little ...

YouTube reference: https://www.youtube.com/watch?v=47d_y57pOUw.

The author's experience of Scientology stretches over a period of 14 years from when it was a little known and interesting form of psychotherapy, to September 1968 when he was declared an S.P.

We now shift from our discussion of simple linear models to neural networks. Neural networks are a class of models that go beyond linear classifiers. Recall that the three main components of a machine ...

I graduated from CMU in 1998. I worked at Honeywell Laboratories in Minneapolis, MN from then until November 2005. I currently work for BBN Technologies in Boston, MA, while living in MN. I have ...

Cozmo's lift remains perpendicular to the ground no matter how high it's raised. What mechanism accomplishes this? Model it in SolidWorks and produce a motion study. Note: to demonstrate that the lift ...

We are building systems that may well revolutionize the field of haptic (sense of touch) interaction with computers. The project is sponsored by NSF, and we are exploring the possibility of spinning ...

Textbooks Lectures are intended to be self-contained. For supplementary readings, with each lecture, we will have pointers to chapters from the following books: ...

Note: this is a tentative lecture schedule that is subject to change.