Humans of BSOE
All Events
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
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
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
