Career

I recently joined the Institute for Business Informatics – Software Engineering at the JKU Linz in Austria. Under the guidance of Prof Manuel Wimmer, I am working on a variety of topics including systems modelling, model-driven engineering and digital twins, and quantum computing.

• For collaborations, please send me a message.
• For Bachelor’s or Master’s theses, please consult this page.
• Note, that we are also frequently have (paid) positions to employ students. If you are interested, contact me here.

At the ERATO MMSD Hasuo Project, I worked a variety of projects ranging from automata-based verification of hybrid automata, illustration of formal specifications to test resource allocation using fuzzy logics. Primarily, I worked on the testing and verification of complex systems, specifically automated driving systems. In the course of this work, I developed the novel kNN-Averaging method to improve the performance of noisy search-based testing of automated driving scenarios. I was also a member of the Ishikawa lab which investigates Engineerable AI and was awarded a two-year JSPS Kakenhi research grant to investigate integration testing of CPS components.

My employment at the University of Geneva was extended to advance two of the projects that I work on. In this role, I developed the server-side component of the ProveIt! second-screen application and continued my research on CREST.

In my PhD I worked on the modelling and verification of cyber-physical systems using DSLs. During the first three years of my PhD, I was placed at CERN, the European Organization for Nuclear Research, where I developed a method to automatically generate unit test cases based on source code written in the proprietary “Control” programming language.

I researched possibilities to visualise live sports events on a web-based GUI and developed a schematic representation that allows users to follow the actions of a football game. The prototype was shown to be highly scalable and, as a result, the BBC continued development of this technology.

I developed a unit testing and quality assurance framework for an automated road tax system. The software is powerful enough for efficient regression fault discovery and diagnostics by expert developers and simple enough for new clients to perform acceptance tests.

I developed a framework for the automated testing of user interface at CERN. The tests simulate mouse and keyboard events and perform system tests to discover regression faults. I took responsibility in prioritisation of testing efforts, designed and implementing the test procedures, and automatically creating summarised test reports for developers and managers. My approach was published at the 13th ICALEPCS conference.