Maria Christakis
Maria Christakis, TU Wien, Austria
Bio: Maria Christakis is a full professor at TU Wien, where she leads the Software Engineering research unit. Her work focuses on developing innovative techniques and tools for writing, specifying, verifying, analyzing, testing, and debugging software. Her goal is to make programs more robust while enhancing the developer experience.
Before joining TU Wien in 2022, Maria conducted research at the Max Planck Institute for Software Systems (Germany), the University of Kent (UK), Microsoft Research (USA), and ETH Zurich (Switzerland). Since then, she was awarded an ERC Starting grant, WWTF and FWF grants, a Google Research Scholar award, an Amazon Research award, and she was elected member of the Young Academy of the Austrian Academy of Sciences.
Guy Katz
Guy Katz, Hebrew University of Jerusalem, Israel
Bio: Guy Katz is an Associate Professor at the Hebrew University of Jerusalem, Israel. He earned his Ph.D. from the Weizmann Institute of Science in 2015. His research bridges the gap between Formal Methods and Software Engineering, with a specific focus on applying formal verification to systems incorporating neural networks and Large Language Models (LLMs). Prof. Katz is a recipient of the Krill Prize (2021) and the CAV Award (2024), and his work is supported by an ERC grant.