All Events

May 9

CPSRC Seminar Series - FRET: A Formal Requirements Elicitation Tool

Anastasia Mavridou
Computer Scientist

  Abstract Requirement formalization and verification tools are essential in designing safety-critical CPS and achieving a level of confidence in system correctness. In this talk, I present the FRET framework for the elicitation, formalization, and understanding of requirements. System... Read More

May 2

Hallam Stevens on the Starting-up of Biology

Hallam Stevens on the Starting-up of Biology
Hallam Stevens

The BGI group, based in Shenzhen, China, is one of the world’s largest and most successful genomics companies. Most commentaries on BGI have focused, quite narrowly, on the organization’s ambitions for scaling-up biology into a high-throughput production line. Drawing on ethnography,... Read More

Apr 24

Public Reception: UCSC STEM Postdoc Assoc. Symposium

Michael Rosbash
2017 Nobel Prize in Medicine; Director of the Brandeis National Center for Behavioral Genomics

Interested in learning about cutting-edge research at UC Santa Cruz? Join us for a FREE public post reception designed to communicate the amazing research we do at UC Santa Cruz to the community!Come enjoy free food, learn about (and present your own) amazing science, and interact with... Read More

Pages