Dr. 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 specification mining.
He joined the faculty of the School of Computer Science, Tel Aviv University, in summer 2012, as a (tenure-track) Senior Lecturer (assistant professor). He received his B.Sc and M.Sc. in Computer Science from Tel Aviv University and my 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).
He is actively recruiting new MSc students, PhD students, and post-docs. Positions come with full funding for a number of years. Please contact me for details.