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 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

Assessing Reliability in Semiconductor Devices and Integrated Circuits

Tanya Nigam
Engineer, Global Foundries

Abstract: Manufacturable process requires 3 critical elements: Performance, Yield and Reliability. In advanced technologies all of these are very closely linked and require careful optimization. Reliability assessment in advance nodes requires a detail understanding of materials, statistics,... Read More

Pages