These speakers will give an invited talk at SPIN 2024. More speakers and details about the talks will be announced on this page.
Kristin Rozier is an Associate Professor in the faculty of the Aerospace Engineering and Computer Science Departments. She previously worked at the University of Cincinatti and NASA. Her research interests include various design-time formal methods for safety-critical (aerospace) systems, including model checking, runtime monitoring and LTL theory.
Holger Hermanns is Professor in the Dependable Systems and Software group at Saarland University. His research interests include modeling and verification of concurrent systems, resource-aware embedded systems, compositional performance and dependability evaluation, and their applications to energy informatics. He is an outspoken proponent of proactive algorithmic accountability.