About me: I am a methods and language engineer working for CARIAD in the Process Methods and Tools department. I am developing domain specific methods, domain specific languages, analyses and tools for systems/safety/security/software engineers working on software intensive vehicle functions and the autonomy stack. My special interest is about methods and tools for automating development and safety assurance. Previously, I worked for AID, developing methods and tooling for their autonomy stack.

Before moving to automotive, I was a researcher in robust software engineering and safety critical systems working for Siemens Corporate Technology in Munich. My work was about developing domain specific languages and combining them with formal verification to increase reliability of software. Besides doing research (25%), I was also consulting and coaching on language engineering and verification technologies, and developing software for Siemens (75%).

Previously, I was research group lead at fortiss research institute from Munich and before that postdoc at the Technical University of Munich from where I also got my PhD (summa cum laude) in 2009 at the Chair of Software and Systems Engineering. I studied at Politehnica University from Timisoara, Romania and was member of the LOOSE Research Group.

Research interests:

  • Assurance of Autonomous Systems

  • Automated Development of Safety Critical Systems

  • Languages / Model Driven Engineering

  • Usability of Formal Methods

Older* interests:

  • Program Comprehension

  • Reverse Engineering

  • Domain Engineering

  • Software Maintainance

(*) - topics I still find fascinating, but not actively working anylonger

See also my ResearchGate page.


  • FASTEN, a modeling environment for developing safety critical systems providing DSLs for requirements specification, systems design, safety analyses and assurance.

  • mps-qa, tooling for quality assurance of MPS-based DSLs. Features support for testing, clones detection, specifying and checking languages architecture, language evolution and deprecation management and linting MPS models,

  • (Older) mbeddr, a stack of domain specific languages and analyses for embedded systems.


  • Organizing Committee:

  • Program Committee:

    • CARS'21

    • MODELS'20 (Tools Track / Industry Papers)

    • MODELS'19 (Tools Track), MODELSWARD'19

    • ECMFA'18

    • ECFMA'16, COLLAFORM'16, HOFM'16

    • SLE'15, ECMFA'15, HOFM'15, SAGRA'15, VAO'15

    • HOFM'14, MoDeVVa'14

    • CSMR'13, CSMR'12

  • Reviewer

    • Journal of Systems and Software - 2018, 2019

    • Journal of Software and Systems Modelling - 2019