(Download a PDF version of my CV here.)

Work Experience

Postdoctoral Resercher
from Jan 2020
National Institute of Informatics, Tokyo
My research at the Erato MMSD project explores the testing and verification of black box systems (e.g. automated driving systems) that integrate deep learning and AI components. I also contribute to other projects in our group, such as a formal specification project and a way to illustrate formal specifications.
Postdoctoral Resercher
Jul 2019 - Dec 2019
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
Researcher, PhD Student
Jan 2014 - Jun 2019
University of Geneva, CERN
In my PhD I worked on the modelling of cyber-physical systems. 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.
MSc. Project: Virtual Sport @ BBC
Mar 2013 - Sep 2013
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.
Software Quality Manager, Software Engineer
May 2012 - Aug 2012
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.
Software Developer (Technical Student Program)
Feb 2011 - Jan 2012
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.


I am a computer science researcher and work primarily in the domains of Cyber-Physical Systems, Modelling & Simulation and Formal Methods.

In the past, I also published on Testing & Test Automation and Machine Learning.


Please find a list of my publications on the dedicated Publications page.


Doctoral Research

A Domain-Specific Approach to Hybrid Systems Modelling

My PhD thesis proposes the use of domain-specific languages for hybrid systems modelling. I designed and implemented a DSL for the modelling of cyber-physical systems (e.g. smart home applications). The language targets users that aim for rapid prototyping of hybrid systems and novice users, who want to simulate and verify their systems without steep learning curves.


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


I reviewed publications for the following journals:

It appears that some of my reviews were helpful enough for me to be awarded the SoSyM 2020 Best Reviewer Award.

Program Committee

I was also on the program committee of the following conferences and workshops:

Multi-Paradigm Modelling for Cyber-Physical Systems

I was an active member of the Multi-Paradigm Modelling for Cyber-Physical Systems COST action from 2015 until its end in 2019. The MPM4CPS action allowed me to expand my scientific network, get to know other researchers and learn about other aspects. As active member, I participated in various activities such as

I also had the chance to participate in a Short-Term Scientific Mission (STSM) where I spent one week at Telecom ParisTech and contributed significantly to the creation of a catalog on cyber-physical systems formalisms, languages and tools.

Skills & Certifications

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 workshop)
May 2017 Negotiation skills (1-day workshop)
Nov 2016 Certified LabVIEW Associate Developer
Apr 2012 ISTQB Foundation Level Tester


I enjoy learning new languages. However, I currently can only admit proficiency in the ones below.

Proficiency Level Experience
German C2 (native) native
English C2 (fluent) Studies at the University of Manchester
8+ years of professional work experience
French B2 (advanced) Living in France and Switzerland
5+ years of professional work experience
Croatian B1 (intermediate) I am member of a Croatian-speaking, Austrian minority

Extracurricular Activity

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. I further guided visitor tours in several languages throughout various visits points at the research lab, engaging audiences from primary school children to physics professors.
CERN Tour Guide
Guided visitor groups in several languages throughout various visits points at the research lab, engaging audiences from primary school children to physics professors.
CERN Football Club treasurer and comitte member
Duties: Overseeing the financial well-being, annual budget (15+ kCHF), bookkeeping of a club with 400+ members. I also compiled legal documents and reports and raised the club's first external sponsorship.
PADI Assistant Scuba Instructor
I have trained over 200 students, taking them from their plunge to certified diver, rescue diver and even dive master. Teaching under water, not only allowed me to share my diving passion with others but also forced me to sharpen my nonverbal communication and develop teaching strategies for various 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.