Sinem Getir Yaman

Dr. Sinem Getir Yaman has been a Senior Research Fellow at the University of York and the Institute for Safe Autonomy. She received her B.Sc. and M.Sc. degrees from Ege University in 2009 and 2012, respectively, and her Ph.D. from Humboldt University of Berlin in 2021. Her Ph.D. thesis, titled “Quantitative Verification for Evolving Software Systems”, focused on quantitative verification and formal methods for evolving software systems. Her research focuses on the application of probabilistic model checking to AI-enabled autonomous systems, as well as the formal specification and verification of normative requirements for AI agents. She has a strong track record of research on normative requirements and probabilistic formal methods for developing reliable and trustworthy sociotechnical systems.