CS Distinguished Colloquium Speaker Daniel Jackson, CSAIL, Massachusetts Institute of Technology Monday, March 2 - 12:30pm Computer Science - Room 105 Host: Jennifer Rexford [ https://www.cs.princeton.edu/events/25913 | https://www.cs.princeton.edu/events/25913 ] Title: A New Abstraction for Software Design The internal design of software—how the code is structured—is powered by familiar abstractions (such as abstract types, classes and modules). But the external design—how the software actually behaves—is usually viewed informally, without the guidance of robust abstractions. For the last few years, I have been exploring a new abstraction that can shape how we think about software applications and systems, and that provides a way to organize behaviors, encapsulate reusable ideas, and evaluate designs. In this talk, I’ll define this abstraction and show how it can be used to explain a variety of flaws in familiar applications. I’ll also present some general principles that attempt to capture some key aspects of good software design. Bio: Daniel Jackson is a professor of computer science and MacVicar teaching fellow at MIT, and associate director of the Computer Science and Artificial Intelligence Laboratory. His research has focused primarily on software modeling and design, most notably the Alloy modeling language. He is also a photographer whose most recent project brings to light the experiences of those with depression and other mental health issues ( [ http://portraitsofresilience.com/ | http://portraitsofresilience.com ] ).