Tag: Computer Science and Engineering
-
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 […]
-
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 […]
-
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: […]