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
    21

    SkAI Colloquium

    SkAI Institute

    11:00 AM Auditorium

    EVENT DETAILSmore info

    TIME Wednesday, October 21, 2026 at 11:00 AM - 12:00 PM

    LOCATION Auditorium   

    ADD TO CALENDAR

    CONTACT Gema Tinoco    Gema.Tinoco@northwestern.edu EMAIL

    CALENDAR SkAI Institute

  • Oct
    22

    Bagel Thursday + Discussion

    Department of Computer Science (CS)

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

    EVENT DETAILS

    TIME Thursday, October 22, 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)

  • 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
    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: 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
    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)

  • 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
    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