**Home | Activity | Career | Publications |** Contact
from Jan 2020 National Institute of Informatics, Tokyo
Postdoctoral Researcher 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.
Jul 2019 - Dec 2019 University of Geneva
Postdoctoral Researcher 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 University of Geneva, CERN
Researcher, PhD Student 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.
Mar 2013 - Sep 2013 British Broadcasting Corporation
MSc. Project: Virtual Sport @ BBC 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 Kapsch TrafficCom AG
Software Quality Manager, Software Engineer 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 CERN
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.
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.