Scholar
Shahar Maoz
Google Scholar ID: ePGs0fgAAAAJ
School of Computer Science, Tel Aviv University
Citations & Impact
Citations
976
H-index
18
i10-index
32
Publications
20
Co-authors
21
list available
Resume
Academic Achievements
- Funded by an ERC Starting Grant (2015), an ERC Proof of Concept Grant (2022), an ISF Grant (2023), a BSF Grant (2025), and a DFG-ISF grant (2025). Published numerous papers in top conferences such as ACM TOSEM, TACAS, ICSE, etc.
Research Experience
- Spent sabbaticals in MIT CSAIL and King's College London; served as PC Co-Chair of ASE'22 main research track; co-organized the first International SPECS summer school in 2023 (SPECS23@TAU) and the second in 2025 (SPECS25@CMU); co-organized a Dagstuhl Seminar on Specification Engineering in 2025.
Education
- Received his PhD from the Weizmann Institute of Science in 2009 and has been at Tel Aviv University since 2012.
Background
- Professor at the School of Computer Science and AI in Tel Aviv University. Research interests include Software Engineering, specifically software and systems modeling, testing, formal specification languages, and synthesis.
Miscellany
- Actively recruits new MSc students, PhD students, and post-docs with full funding for a number of years. Please contact him for details.
