Individual Consultant and Associate Professor

I am an individual consultant and an associate professor at the Budapest University of Technology and Economics. My main research fields are model-based systems engineering and formal methods.

As an Independent Consultant, I offer training and consultation related to SysML v2 and MBSE to maximize the benefits and efficiency of rigorous system modeling at any level. I am among the main developers of the SysML v2 and KerML languages, and I have been teaching SysML v1 and MBSE, as well as formal methods for more than ten years. As the lead developer of the SysML v2 Conformance Test Suite, I am more than happy to help vendors develop a conformance implementation of the language.

As an Associate Professor, I have been teaching Model-Based Systems Engineering and Formal Methods for more than ten years. I greatly value talent care: I have supervised more than 30 BSc and MSc theses and more than 15 Scientific Students' Associations papers, and I am the supervisor of three exceptional PhD students. I am always open to collaboration in EU projects or industrial R&D.

As an Author, I am co-authoring The SysML v2 Book with Tim Weilkiens, the first comprehesive guide to SysML v2. I have also authored a series of blog posts about the language in Sensmetry's “Advent of SysML v2” event. I have also published more than 45 journal and conference papers about MBSE and formal methods, many of them at top-tier journals and conferences.

As a Community Leader, I am one of the key people in the OMG's Systems Modeling Community, where I lead the Formal Methods Working Group and the Conformance Working Group. I am also co-chair of the KerML 1.1 Revision Task Force with Ed Seidewitz.