• Li, J. (CM) – Detecting Failure to Adapt: Reading Self-Regulated Learning Breakdowns from Game Telemetry through Plan Recognition

    Virtual Event

    Three learners who fail the same level of an educational game the same number of times can be failing in three different ways, and the difference determines what each should do next. Yet the measures a game’s logs are usually reduced to (completion time, error counts, mastery estimates) render the three identical. This proposal takes […]

  • Gholami, K. (ECE) – Efficient Language Model Construction and Inference via Sparsity

    Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA
    Hybrid Event

    While large language models can match or exceed human performance, they do so with memory and energy costs orders of magnitude greater than biological cognition. We investigate sparsity as a brain-inspired computational principle to address both. We first establish a framework for evaluating small language model construction methods, using the next-token logit distribution as a […]

  • Fontana, J. (STAT) – When We’re Always Wrong: Scalable Variable Selection in M-Open Settings

    Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA
    Hybrid Event

    A ubiquitous task in statistical practice is that of variable selection, identifying which of a large set of features are the relevant ones. As data sets with a large number of observations have become increasingly common, new theoretical and computational challenges for model selection have emerged. We consider the variable selection problem for linear models […]

  • ECE Seminar – “Nanoprobes for Single-Cell Surgery”

    Jack Baskin Engineering Baskin Engineering 1156 High Street, Santa Cruz, CA

    Presented by: Paolo Actis, Associate Professor of Bionanotechnology at the University of Leeds Description: “Physiological and pathological processes within the human body are controlled by complex cell-cell interactions within the context of a dynamic microenvironment. The ability to dynamically measure phenotypes (i.e. gene expression, protein activities, ion fluctuations, signalling) at the single cell level is key […]

  • Le, A. (STAT) – Bayesian Nonparametric Analysis of Densities for Replicated Point Patterns

    Virtual Event

    Many scientific applications produce repeated point pattern realizations across subjects, regions, or time. While such point patterns exhibit individual variation, we assume they arise from related point processes that share a common distributional structure. This dissertation develops a Bayesian nonparametric modeling framework built around an interpretable baseline. We work with Poisson processes, such that the […]

  • Zhao, Z. (CSE) – TOWARD VERIFIABLE REASONING IN LLMS

    Silicon Valley Campus 3175 Bowers Avenue, Santa Clara, CA, United States
    Hybrid Event

    Chain-of-thought (CoT) prompting can improve final-answer performance, but it does not guarantee that intermediate reasoning steps are faithful, valid, or checkable. This proposal studies how formal methods can make natural-language reasoning more reliable by translating CoT rationales into Lean artifacts, checking the resulting theorem statements and proofs, and using compiler feedback to diagnose and repair […]

  • Krishnaswamy, L. (CSE) – Network Load Balancing for Geographically Distributed Datacenters

    Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA
    Hybrid Event

    As datacenters scale up and become more geographically distributed, wide-area network inter-datacenter traffic, which typically consists of data-heavy tasks, has become increasingly prevalent. Some of the noteworthy challenges raised by the coexistence and interaction between inter- and intra-datacenter traffic are the differences in their QoS requirements, link utilization, and round-trip times. To the best of […]

  • Aliamooei Lakeh, S. (ECE) – Optimization and Decision-Support Frameworks for Resilient Power Systems Under Large-Scale Electrification

    Virtual Event

    The rapid electrification of transportation is creating new interdependencies between power and transportation systems, particularly during extreme events and disasters. As electric vehicle (EV) adoption increases, evacuation-related charging demand, infrastructure disruptions, and limited access to energy resources introduce challenges that conventional power system planning and operation frameworks were not designed to address. Wildfires provide a […]

  • Nikolakakis, M. (ECE) – Learned Gridless Representations of Cone Beam Computed Tomography Scans

    Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA
    Hybrid Event

    Medical image representation has long been dominated by voxel-grid matrices. While their inherent structure and order work efficiently for various linear transformations and provide a seamless visualization method on monitors, they fail to preserve the topology of the scan and to encode sparse information in a memory-efficient way.   The recent emergence of machine learning-based continuous coordinate-based […]

  • Condon, C. (BMEB) – Genomic conflict across scales

    Biomedical Sciences Building 575 McLaughlin Drive

    Genomes are often viewed as cooperative systems in which genes work together to support organismal function. Yet genetic elements can also act in ways that favor their own transmission or persistence, creating conflict within the genome. In this talk, I examine the evolutionary and functional consequences of such genomic conflict across three systems. First, I […]

  • Gutie, J. (SciCAM) – SORh: Hyperbolic Relaxation Methods For Elliptic Problems In Computational Fluid Dynamics

    Virtual Event

    This thesis explores iterative methods for solving elliptic partial differential equations (PDEs), which are used in computational fluid dynamics (CFD) to model a wide range of physical phenomena. The primary application of interest here is self-gravity, modeled by Poisson’s equation. Although many numerical approaches exist, including direct matrix inversion, FFT-based methods, and classical iterative methods […]

  • Lupin-Jimenez, L. (AM) – Data-Driven Deep Learning for Turbulent Phenomena: Regional Ocean Prediction and Assimilation, Spectral Bias in Diffusion Models, and Equation Discovery

    Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA
    Hybrid Event

    Deep learning models trained on simulation and reanalysis data can now emulate turbulent geophysical flows at a small fraction of the computational cost of numerical solvers. Their scientific utility depends on physical consistency, which for the systems studied here rests in large part on spectral fidelity, the accurate reconstruction of variance across spatial scales. This […]

  • Penunuri, G. (BMEB) – Genomic, Proteomic, and Computational Approaches to the Study of Host-Microbe Systems

    Biomedical Sciences Building 575 McLaughlin Drive
    Hybrid Event

    Host-microbe systems are core to some of biology’s most consequential interactions, from the pathogens that drive infectious disease to symbionts affecting agricultural pest control and vector-borne disease transmission. Yet unlike the model organisms that have driven most of modern molecular biology, the microbes at the center of these interactions are rarely genetically tractable: many cannot […]

  • Nava, A. (AM) – Machine-Learning Methods for Prediction of Biological Systems

    Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA
    Hybrid Event

    Advances in microscopy have enabled the collection of high-quality single-cell datasets, providing new opportunities to identify the mechanisms underlying complex biological processes. In this work, we develop machine-learning frameworks using single-cell temporal data with the goal of predicting and providing insights into these mechanisms. We produce frameworks for two biological systems, bacterial spore germination, the […]

  • Huang, X. (CSE) – Scalable and Verifiable Reasoning for Medical Foundation Models

    Virtual Event

    This PhD research focuses on developing reliable medical foundation models capable of reasoning across textual, visual, and interactive clinical information. The work investigates three complementary directions: improving medical reasoning through test-time scaling, training multimodal medical models with verifiable rewards, and synthesizing high-quality visual question-answering data from biomedical literature using generator-verifier frameworks. Building on these efforts, […]