This course presents an introduction to type systems. We will study the formal foundations of type systems, exploring how they are specified and what properties hold for them. This is a course aimed ...

Each quarter, Northwestern CS honors and recognizes students who demonstrate excellence in computer science mentoring and teaching with Peter and Adrienne Barris Outstanding Teaching Assistant and ...

Liz Simmons is an education staff writer at Forbes Advisor. She has written about higher education and career development for various online publications since 2016. She earned a master’s degree in ...

Liz Simmons is an education staff writer at Forbes Advisor. She has written about higher education and career development for various online publications since 2016. She earned a master’s degree in ...