Shahar Maoz is a Professor at the School of Computer Science and AI in Tel Aviv University, Israel. He received his PhD from the Weizmann Institute of Science in 2009 and has been at Tel Aviv University since 2012. His research interest is in Software Engineering, specifically software and systems modeling, testing, formal specification languages, and synthesis. He has published over 30 research track full papers in the three CORE A* Software Engineering conferences (ASE/ICSE/FSE). His work has been funded by an ERC Starting Grant (2015), an ERC Proof of Concept Grant (2022), and an ISF Grant (2023).