I am an Assistant Professor in the Architecture of Information Systems group at the Technische Universiteit Eindhoven.

My research interests are in designing correct systems, particularly distributed systems. This includes finding and combining modeling paradigms, developing techniques for synthesizing system models from specifications and discovering system models from observations, and ensuring correctness of modeled systems by formal analysis. Tools and empirical case studies help me understand how these information artifacts relate to the real world in which they exist.

soon

• I will be at the SIKS Advanced Course Come Let’s Play: From Modeling with Statecharts to Behavioral Programming and Process Mining given by Prof. David Harel (Weizmann Institute of Science) and the AIS group (TU Eindhoven), as co-organizer and speaker, 22nd-23rd April 2013
• I will teach the course Design-Based Learning - Information Systems in Spring 2013
• I'm co-organizing the 1st IEEE International Workshop on Communicating Business Process and Software Models - Quality, Understandability, and Maintainability (CPSM 2013) in September 2013

recently

• I gave a talk on Synthesizing Distributed Components from Scenarios at the Modelsward 2013 conference, February 2013
• I gave a remote talk on Synthesizing Distributed Components from Scenarios in the Advanced Software Tools Research Seminar of S. Maoz and A. Yehudai at Tel Aviv University, January 2013
• Our paper Synthesizing Decentralized Components from a Variant of Live Sequence Charts has been accepted at the Modelsward 2013 conference; see our tool our tool Sam for the implementation, November 2012
• We've released a new version of the ProM package Uma, including more functionality to repair process models to reflect reality. Get ProM 6 and install package Uma using the package manager; see the manual for details, November 2012.
• I was nominated as member of the Program Committees of
  • 2nd Data and Artifact-centric Business Process Management (DAB) workshop (DAB 2013) co-located with (BPM 2013), January 2013,
  • 11th International Conference on Business Process Management (BPM 2013), and
  • 14th International Working Conference on Business Process Modeling, Development, and Support (BPMDS 2013), October 2012,
  • 5th Central European Workshop on Services and their Composition, (ZEUS 2013), December 2012.
• less recent...

in the past

Before, I graduated in fall 2010 in the AIS group and in the Theory of Programming group at the Humboldt-Universität zu Berlin within the B.E.S.T programme, supported by the METRIK graduate school. Earlier, I spent a year at the School of Computing at the National University of Singapore.