• CSE Colloquium: A Journey from Programming Systems Research to AI Agents

    Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA

    Speaker: Koushik Sen, UC Berkeley and Google DeepMind Abstract: Coding has emerged as an important application area for large language models (LLMs), with a proliferation of code-specific models and their […]

    Free
  • CSE Colloquium: Mitigating Data Scarcity via Simulation by Roozbeh Mottaghi

    Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA
    Hybrid Event

    Presenter: Roozbeh Mottaghi, University of Washington Abstract: Data has revolutionized progress across AI fields like natural language processing and computer vision. Yet, in robotics, data collection remains a significant challenge: robots must interact with complex, dynamic environments, making the process slow, costly, and difficult to scale. In this talk, I will discuss how simulation is […]

    Free
  • CSE Colloquium – Neurosymbolic AI: from research to industry

    Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA

    Presenter: Luis Lamb, Catholic Institute of Technology Abstract: Neurosymbolic AI brings together the statistical nature of machine learning with the formal reasoning capabilities of symbolic AI. It seeks to offer a […]

    Free
  • CSE Colloquium – Flux: Refinement Types for Verified Rust Systems

    Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA

    Presenter: Ranjit Jhala, UCSD Abstract: Rust has risen as a language of choice for new systems code — from OS kernels to hypervisors, firmware and run-times — as it is memory […]

    Free