Leading a high-performing engineering team to build a world-leading reinforcement learning-based unit test generator for Java.Mentoring Team Leads.Contributing to the team's workforce as Senior Java Developer.Contributing to R&D using rapid prototyping.Contributing to customer success by managing on-site integration.Supervising the ReleaseOps team (fortnightly releases and CI development).

Leading a high-performing engineering team to build a SAT-based unit test generator.Contributing to the team's workforce as Senior Java Developer.Contributing to R&D using rapid prototyping.Contributing to customer success by solving on-site issues.

Model-checking specialist.C++ engineer developing a Java unit test generator based on the CBMC model-checker (https://github.com/diffblue/cbmc).Contributed to engineering the string solver in CBMC.

Contributed to the development of a high-performance SAT-based model checker (Systerel Smart Solver), that has been actively used in the railway and avionic industry for several years.Main activity: Development (mainly in C) of various core parts of the model checker (parsing, inlining, expansion, solving, user interface).Other responsibilities include: - Developing real-time secure software for the railway industry - Writing/adapting documentation (logical foundations documents, user manuals, validation plans, software design documents)

PhD thesis on automata on infinite structures.Development of a direct complementation construction for Büchi automata.As research assistant in the Foundations of Dependable Systems Research Group (University of Fribourg), we have developed one of the most efficient algorithms to date for complementing Büchi automata, thus improving formal verification techniques.Related activities:- In charge of the "Process Control" Project (lead students in a Java project to build a safe circulation of a model railway),- Assistant for the "Automata on Infinite Structures" course,- Assistant for the "Theory and Applications of Automated Verification" (model checking with Spin) course.

Marketing of the Swiss Joint Master in Computer Science

Conducting band, supervising musical education, organising musical curriculum, co-ordination with La Landwehr, co-ordination with Ecole de Musique de La Landwehr.

President of Executive Board

Creation of various web sites:escaliers‐mauron.chnemosquintet.chjgl.chscependes.chharmoniearconciel.chbrassbandfribourg.ch

Substitute teacher in Math and Physics. 7 weeks in total.