SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers

דובר:
Shahar Maoz - COLLOQUIUM LECTURE
תאריך:
יום שלישי, 11.6.2019, 14:30
מקום:
חדר 337 טאוב.
השתייכות:
School of Computer Science, Tel-Aviv University
מארח:
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.

בחזרה לאינדקס האירועים