Tag: Baskin Engineering
-

Kathleen Schmidt: Sequential Experimental Design for Materials Strength Model Calibration
Presenter: Katie Schmidt, UQ & Optimization Group Leader, Lawrence Livermore National Laboratory Description: Due to the time and expense associated with physical experiments, there is significant interest in optimal selection […]
-

AM Seminar with Dr. Truong Vu
Presenter: Dr. Truong Vu, IPAM and MSU Description: We present a framework for the gradient flow of sharp-interface surface energies that couple to embedded curvature active agents. We use a […]
-

Be Inspired: Explore Graduate Studies in STEM
Not sure if graduate school is right for you? Join us to learn what graduate school is really about and explore whether it’s the right path for you. We’ll cover […]
-

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 […]