Tag: Baskin Engineering
-
Summer Live in the Schedule of Classes
The Summer Session Schedule of Classes goes live today. Explore course descriptions, prerequisites, and meeting times to start planning early for summer enrollment. Email summer@ucsc.edu with questions or call 831-459-5373.
-
CSE Colloquium: Making Systems Secure with Information Flow
Presenter: Andrew Myers, Cornell University Abstract: Modern civilization depends on complex, interconnected software systems that must safeguard trustworthy or private data. We have ever-growing mountains of code yet lack principled […]
-
CSE Colloquium – Neurosymbolic AI: from research to industry
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 […]
-
CSE Colloquium – Flux: Refinement Types for Verified Rust Systems
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 […]
-
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 […]
-
Torres, S. (ECE) – An Integrated Platform for Real-time Monitoring and Support of 3D Tissue Growth
Organoids are three-dimensional tissue cultures that model real organs and serve as valuable tools for studying development, disease, and treatment response. Traditional methods, which rely on manual handling and incubators, […]
-
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: […]