Tag: Computer Science and Engineering
-
Inaugural PyTorch Santa Cruz Meetup
A community gathering of people interested in PyTorch and the projects that use it – not an official PyTorch organization. Sponsored by Red Hat and University of California Santa Cruz Location: Engineering 2, Room 180 Food, Socializing, and Excellent talks from the PyTorch Ecosystem 5:30 – 6:30 Food and Socializing 6:30 – 7:00 Talk 1…
-
Kraw Lecture: At the Forefront of AI: Innovation and Discovery
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…
-
February 25, 2026 | Works-in-Progress with Geoffrey Bowker
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.
-
STEM Career & Internship Fair
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!
-
When Less is More: Applications of Type-Based Underapproximate Reasoning
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…
-
CSE Colloquium: A Journey from Programming Systems Research to AI Agents
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…
-
CSE Colloquium: Mitigating Data Scarcity via Simulation by Roozbeh Mottaghi
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…