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 applications across various domains and tasks such as program repair, performance optimization, debugging, test generation, documentation, and security hardening. In this talk, I will describe […]
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: […]
Presenter: Suresh Jagganathan, Purdue University Abstract: Unlike program verifiers, symbolic execution and property-based testing tools underapproximate program behavior: they aim to report only real bugs (no false positives), at the cost of potentially missing some (false negatives). Recent work has sought to place such tools on a more formal footing, primarily through the development of incorrectness […]
If you are interested in pursuing a career in science, technology, engineering, mathematics or research, then take advantage of this opportunity to meet recruiters from companies looking to fill various positions (both technical and non-technical). Learn more about internships and full-time career opportunities. Undergraduate students, graduate students, and recent alumni are all welcome to attend!
On Wednesday, February 25, 2026 at 3:00PM in Humanities 1, Room 210, join SJRC scholars on the death of infrastructure, AI, and underwater network cables and his collaborative comic book on Actor Network Theory.
Artificial intelligence is transforming how we understand and solve the world’s most complex challenges—while at the same time causing new challenges and concerns. We invite you to join us for a special UC Santa Cruz Kraw Lecture showcasing the faculty whose groundbreaking research in artificial intelligence is transforming science, technology, and society. From advances in […]