SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers

Speaker:
Shahar Maoz - COLLOQUIUM LECTURE
Date:
Tuesday, 11.6.2019, 14:30
Place:
Room 337 Taub Bld.
Affiliation:
School of Computer Science, Tel-Aviv University
Host:
Yuval Filmus

T B A Shahar Maoz research interests are in Software Engineering, specifically software and systems modeling, modeling languages, and formal methods. He has recently worked on synthesis of structure and behavior, differencing, and log analysis. He joined the faculty of the School of Computer Science, Tel Aviv University, in summer 2012, as a (tenure-track) Senior Lecturer (assistant professor). Since January 2018 he is an Associate Professor with Tenure. He received his B.Sc and M.Sc. in Computer Science from Tel Aviv University and his PhD in Computer Science from the Weizmann Institute (2009). Before joining TAU as a faculty member he was post-doc research fellow at RWTH Aachen University, Germany (2010-2012). In 2015-2016 he was on sabbatical as visiting scientist at MIT CSAIL.

Back to the index of events