Jan 2014 — Jun 2019 Doctor of Philosophy (PhD) in Computer Science
University of Geneva, Switzerland
Sep 2012 — Sep 2013 Master of Science in Advanced Computer Science
University of Manchester, UK
Oct 2008 — Feb 2012 Bachelor of Science in Software & Information Engineering
Vienna University of Technology, Austria

Work Experience

since Dec 2022 University Assistant
Johannes Kepler University Linz, Austria

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.
Jan 2020 - Nov 2022 Postdoctoral Researcher
National Institute of Informatics, Tokyo

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.

Jul 2019 - Dec 2019 Postdoctoral Researcher
University of Geneva

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.

Jan 2014 - Jun 2019 PhD Student, Researcher
University of Geneva, CERN

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.

Mar 2013 - Sep 2013 MSc. Project: Virtual Sport @ BBC
British Broadcasting Corporation

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.

May 2012 - Aug 2012 Software Quality Manager, Software Engineer
Kapsch TrafficCom AG

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.

Feb 2011 - Jan 2012 Software Developer (Technical Student Program)

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.



  • 2020 SoSyM Best Reviewer Award
    I am happy that my reviews have been deemed helpful, and have led to the 2020 SoSyM Best Reviewer Award. It is nice, when effort gets rewarded.

Skills & Certifications

Spring 2023 Teaching & Didactics Certificate
Mar 2019 Time-Management (2-day course)
Feb 2019 Project Management for Research (3-day course)
Nov 2018 Project Management for Successful Research (2-day course)
May 2017 Prise de parole en public // Public speaking training - in French (1-day course)
May 2017 Negotiation skills (1-day workshop)
Nov 2016 Certified LabVIEW Associate Developer
Apr 2012 ISTQB Foundation Level Tester


I enjoy learning new languages. Currently I can only admit some proficiency in the following ones though:

German — C2 (native) Experience: native
English — C2 (fluent)
MSc at the University of Manchester;
10+ years of professional work experience
French — B2 (advanced)
Living in France and French-speaking Switzerland
6+ years of professional work experience
Croatian — B1 (intermediate)
I am part of a Croatian-speaking Austrian minority
Japanese — A1 (basic)
I picked up some basic skills during my time in Tokyo

Extracurricular Activity

ERATO MMSD Seminars for Automotive Industry
The Erato MMSD project hosted monthly seminars for professionals from the automotive industry, introducing them to the various research aspects investigated by our research project. Next to contributing to three seminar events, I took the role of primary meeting host, taking responsibility for preparation, scheduling and recording of the multimedia presentations. The seminar content is currently being adapted to a textbook in English and Japanese, where I am a co-author of three chapters.

GeoTOOLS-DB Instructor
I instructed over 50 students of the geology department on the basics of data bases. After the course, almost all of them were able to use data base software (HSQLDB, Microsoft Access), data base design formalisms (UML Class diagrams), and write and execute SQL queries.

Scientific Outreach: School Intern Supervisor
Supervision of school students and interns (age 12 - 20), introducing them to the professional workflow at CERN, growing their interest in science and engineering.

CERN Tour Guide
During my time at CERN, I guided visitor groups in several languages throughout various visits points at the CERN research laboratory, engaging audiences from primary school children to physics professors.

CERN Football Club treasurer and committee member
Duties: Overseeing the financial well-being, annual budget (15k+ CHF), bookkeeping of a club with 400+ members. I also compiled legal documents and reports and raised the club’s first ever external sponsorship.

PADI Assistant Scuba Instructor
I have trained over 200 students, taking them from their first plunge to certified diver, rescue diver and even dive master. Teaching underwater, not only allowed me to share my diving passion with others but also forced me to sharpen my non-verbal communication and develop teaching strategies for many types of students. Due to the risks involved, I learned to take responsibility for other people’s life and health by paying attention to detail and precision.