News & Events
Department Events & Announcements

Events

  • Oct
    5

    CS Seminar: Google Relational Modeling Framework: Proving Relational Equivalence at Scale (Brian Suchy)

    Department of Computer Science (CS)

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    Monday / CS Seminar
    October 5 / 12:00 PM
    Hybrid / Mudd 3514

    Speaker
    Brian Suchy, Software Engineer Google DeepMind

    Talk Title
    Google Relational Modeling Framework: Proving Relational Equivalence at Scale

    Abstract

    GenAI is accelerating computer science in nearly every way. From development and research to deployment, AI has the potential to enable huge sweeping changes to engineering workflows along the entire computing stack; however, to truly realize the potential for this, we must build the foundations for these workflows to be able to operate autonomously with minimal human intervention.

    One of these building blocks, Google Relational Modeling Framework (GRMF), generalizes relational logic, including GoogleSQL, Common Expression Language (CEL), Datalog, and (conditionally) NumPy/Pandas, into a unified Relational Algebra-based Dialect. In this talk, we dive into one of GRMF's use cases of enabling sound, deterministic verification by formally proving equivalence between relational statements.
    We examine the inner workings of multi-layered formal proving methods (ranging from e-graphs and $k$-semirings to SMT solvers like Z3/CVC5) and detail real-world production use cases. Finally, we explore future applications of GRMF, including automated cross-engine query migration (e.g., BigQuery $\leftrightarrow$ F1), JIT compilation of SQL queries, execution of NumPy programs via F1/Voxel, and its potential as a general MLIR query optimizer

    Biography

    Brian Suchy is a Senior Software Engineer at Google DeepMind. He works in several areas including: hardware development, formal verification, and (of course) AI.

    Brian graduated with his PhD from Northwestern in 2017. He worked in the Prescience Lab, led by Dr. Peter Dinda, with a focus on Software-based Memory Management

    Research Interests: Databases, Architecture, Formal Logic

    more less

    TIME Monday, October 5, 2026 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Oct
    28

    CS Seminar: Beyond heuristics: A meta-scientific agenda for generative AI-powered social research (Aaron Shaw)

    Department of Computer Science (CS)

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Wednesday, October 28, 2026 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Oct
    29

    Computer Science Halloween Crafting Social

    Department of Computer Science (CS)

    2:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Thursday, October 29, 2026 at 2:00 PM - 4:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Bella Barrios    marbella.barrios@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Nov
    2

    CS Seminar: Quantitative Security Guarantees for Concurrent Systems (Farzaneh Derakhshan)

    Department of Computer Science (CS)

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Monday, November 2, 2026 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Nov
    2

    Xiling Li CS PhD Final Defense: Efficient, Scalable, and Trustworthy Query Evaluation for Secure Collaborative Analytics

    Department of Computer Science (CS)

    1:00 PM 3501, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Monday, November 2, 2026 at 1:00 PM - 3:00 PM

    LOCATION 3501, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Jensen Smith    jensen.smith@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Nov
    3

    Sayak Chakrabarty CS PhD Final Defense: Machine Learning Applications in Material Sciences: Prediction, Explainability, and Automation

    Department of Computer Science (CS)

    10:00 AM L440 - ECE Conference Room, Technological Institute

    EVENT DETAILS

    TIME Tuesday, November 3, 2026 at 10:00 AM - 12:00 PM

    LOCATION L440 - ECE Conference Room, Technological Institute    map it

    ADD TO CALENDAR

    CONTACT Jensen Smith    jensen.smith@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Nov
    4

    CS Seminar: Computational Ecosystems: Advancing Human Values Through Integrative Computing and Changing Practice (Haoqi Zhang)

    Department of Computer Science (CS)

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Wednesday, November 4, 2026 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Nov
    9

    Distinguished Lecture: AI Challenges: Trustworthy Collaboration, World Discovery, and Long-Horizon Memory (Mohit Bansal)

    Department of Computer Science (CS)

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Monday, November 9, 2026 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Nov
    16

    Regular registration for Winter quarter begins

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Monday, November 16, 2026

    ADD TO CALENDAR

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

    CALENDAR University Academic Calendar

  • Nov
    19

    Bagel Thursday + Discussion

    Department of Computer Science (CS)

    9:00 AM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Thursday, November 19, 2026 at 9:00 AM - 11:00 AM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Nov
    20

    Dissertation, PhD Final Exam, and change of grade forms due to TGS for Fall PhD candidates

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Friday, November 20, 2026

    ADD TO CALENDAR

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

    CALENDAR University Academic Calendar

  • Nov
    25

    Thanksgiving Vacation begins at 6:00 PM (No classes, University offices closed)

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Wednesday, November 25, 2026

    ADD TO CALENDAR

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

    CALENDAR University Academic Calendar

  • Nov
    30

    Fall Classes Resume

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Monday, November 30, 2026

    ADD TO CALENDAR

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

    CALENDAR University Academic Calendar

  • Dec
    4

    Holiday Party

    Department of Computer Science (CS)

    12:00 PM

    EVENT DETAILS

    TIME Friday, December 4, 2026 at 12:00 PM - 2:00 PM

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Dec
    5

    Fall classes end

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Saturday, December 5, 2026

    ADD TO CALENDAR

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

    CALENDAR University Academic Calendar

  • Dec
    7

    Fall Exams begin

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Monday, December 7, 2026

    ADD TO CALENDAR

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

    CALENDAR University Academic Calendar

  • Dec
    9

    Marko Sterbentz CS PhD Final Defense: A Neurosymbolic Approach to Analytics-Augmented Generation

    Department of Computer Science (CS)

    6:00 PM

    EVENT DETAILS

    TIME Wednesday, December 9, 2026 at 6:00 PM - 8:00 PM

    ADD TO CALENDAR

    CONTACT Jensen Smith    jensen.smith@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)

  • Dec
    12

    Fall exams end

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Saturday, December 12, 2026

    ADD TO CALENDAR

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

    CALENDAR University Academic Calendar

  • Dec
    12

    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 12, 2026 at 4:00 PM - 6:00 PM

    LOCATION Pick-Staiger Concert Hall    map it

    ADD TO CALENDAR

    CONTACT Andi Joppie    andi.joppie@northwestern.edu EMAIL

    CALENDAR McCormick School of Engineering and Applied Science