News & Events
Department Events & Announcements

Events

  • Nov
    8

    CS Distinguished Lecture Series - Benjamin C. Pierce "The Science of Deep Specification, Past and future"

    Department of Computer Science

    12:00 PM

    EVENT DETAILS

    This will be a virtual seminar

    Abstract

    Abstraction and modularity underlie all successful hardware and software systems: We build complex artifacts by decomposing them into parts that can be understood separately. Modular decomposition, in turn, depends crucially on the artful choice of interfaces between the pieces of a system. As they become richer, such interfaces can serve as specifications of system components or layers. Rich specifications, based on formal logic, can significantly reduce the costs of system implementation and evolution by identifying vulnerabilities, helping programmers understand the behavior of new components, facilitating rigorous change-impact analysis, and supporting maintainable, machine-checked proofs that components are internally correct and fit together correctly. We call these deep specifications.

    Deep specifications describe complex component behaviors in detail, they are connected to both implementations and clients; they are written mathematical notations with clear semantics; and they are connected directly to the source code of implementations via machine-checkable proofs or property-based random testing. These requirements impose strong functional correctness conditions on individual components and permit them to be connected together with rigorous composition theorems.

    This talk presents recent achievements and ongoing efforts in the Science of Deep Specification project at Penn, Princeton, Yale, and MIT, whose goal has been to engineer a rich, interconnected collection of deep specifications for critical system software components.

    Biography

    Benjamin Pierce is Henry Salvatori Professor of Computer and Information Science at the University of Pennsylvania and a Fellow of the ACM. His research interests include programming languages, type systems, language-based security, computer-assisted formal verification, differential privacy, and synchronization technologies. He is the author of the widely used graduate textbooks Types and Programming Languages and Software Foundations. He has served as co-Editor in Chief of the Journal of Functional Programming, as Managing Editor for Logical Methods in Computer Science, and as editorial board member of Mathematical Structures in Computer Science, Formal Aspects of Computing, and ACM Transactions on Programming Languages and Systems. He is the lead designer of the Unison file synchronizer and co-designer of the Clowdr virtual conference platform.

    more less

    TIME Monday, November 8, 2021 at 12:00 PM - 1:00 PM

    ADD TO CALENDAR SHARE

    CONTACT Pamela Villalovoz    pmv@northwestern.edu EMAIL

    CALENDAR Department of Computer Science

  • Dec
    4

    Fall classes end

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Saturday, December 4, 2021

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Dec
    8

    CS Seminar - Kathryn Cunningham "Diversifying Pathways to Computer Science Education"

    Department of Computer Science

    12:00 PM

    EVENT DETAILS

    TIME Wednesday, December 8, 2021 at 12:00 PM - 1:00 PM

    ADD TO CALENDAR SHARE

    CONTACT Pamela Villalovoz    pmv@northwestern.edu EMAIL

    CALENDAR Department of Computer Science

  • Dec
    11

    Northwestern Engineering PhD Hooding and Master's Recognition Ceremony

    McCormick School of Engineering and Applied Science

    4:00 PM Pick-Staiger Concert Hall

    EVENT DETAILSmore info

    TIME Saturday, December 11, 2021 at 4:00 PM - 5:30 PM

    LOCATION Pick-Staiger Concert Hall    map it

    ADD TO CALENDAR SHARE

    CONTACT Northwestern Engineering Events    northwestern-engineering-events@northwestern.edu EMAIL

    CALENDAR McCormick School of Engineering and Applied Science

  • Dec
    27

    Winter Recess - University Closed

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Monday, December 27, 2021

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Dec
    28

    Winter Recess - University Closed

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Tuesday, December 28, 2021

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Dec
    29

    Winter Recess - University Closed

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Wednesday, December 29, 2021

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Dec
    30

    Winter Recess - University Closed

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Thursday, December 30, 2021

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Jan
    3

    Winter Classes begin 8 a.m.

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Monday, January 3, 2022

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar