Alessandro Cimatti (talk shared with DX 2026)
Affiliation:
Director, Digital Industry Center
Fondazione Bruno Kessler (FBK), Italy
Alessandro Cimatti is Director of the Digital Industry Center at Fondazione Bruno Kessler. He is a leading researcher in formal methods and artificial intelligence, known for his contributions to bounded model checking and automated reasoning.
Personal webpage:
https://dicenter.fbk.eu/contacts/alessandro-cimatti/
Kristin Yvonne Rozier
Affiliation:
Associate Professor of Aerospace Engineering & Computer Science
Iowa State University, USA
Kristin Yvonne Rozier is a researcher in formal methods, automated reasoning, and verification of safety-critical systems. She leads the Laboratory for Temporal Logic at Iowa State University and previously worked as a research scientist at NASA.
Personal webpage:
https://www.aere.iastate.edu/kyrozier/