All Events

May 8

Diverse Voices Speaker Series: Laura Gómez

Laura Gómez
CEO and Founder

The Diverse Voices professional speaker series, hosted by the Baskin School of Engineering, aims to expose students to strong role models from industry and provide an opportunity for students to interact with industry professionals in an academic setting. Each event includes a... Read More

May 6

STAT Seminar Series: Rerandomization and Regression Adjustment

Peng Ding
Assistant Professor

Title: Rerandomization and Regression Adjustment Abstract: Randomization is a basis for the statistical inference of treatment effects without strong assumptions on the outcome-generating process. Appropriately using covariates further yields more precise estimators in randomized... Read More

May 2

CPSRC Seminar: Bridging the Gap Between Requirements and Model Analysis: Evaluation on Ten Cyber-Physical Challenge Problems

Anastasia Mavridou
Computer Scientist

  Abstract   We present a framework for introducing high-level requirement  specifications in the automated analysis of dataflow models.  By integrating the Formal Requirements Elicitation Tool (FRET) with  the CoCoSim analyzer, our framework enables the analysis of... Read More

Pages