Jean-Baptiste COURTOIS

– Automating posting of job offers on hundreds of platforms worldwide – Added tests to 80% of generators, Reduced posting errors to less than 0.1% – Developed a backoffice in AngularJS to monitor KPIs, reduced response time to 400ms – Collaborated remotely for 1 year with a R&D team in Bangalore; managed a timezone offset of 4:30 hours – Organized the 2022 teambuilding social event with a short programming contest

– Supervisor: Jean-François RASKIN – Extended the results from the research article "Beyond Worst-Case queries in 1.5-player parity games" (by Bruyère et al.) in the context of parity games, considering infinite-memory strategies. – Played an active role in the academic and community life of the Computer Science department by contributing to presentations with other PhD and postdoctoral students and participating in social events

Projet: Driver Telematics Analysis – Projet dans le cadre d'une compétition Kaggle. – Objectif : Établir le style de conduite d'un conducteur grâce au suivi GPS de son véhicule (seule donnée disponible). – Tâches principales : – Calcul de features diverses (vitesse, accélération, rayon de courbure, ...) – Choix du meilleur modèle pour une analyse semi-supervisé (choix final : mélange de k-means et régression linéaire) – Environnement Technique: Python 2, framework Numpy et Pandas

– Supervisor: Sylvain SCHMITZ – Topic: "Alternating VASS and simulation problems" – The research topic was in continuity with the Verification course of Paul GASTIN. I proved during this internship that the simulation problems of a BPP by a finite-state automaton and conversely are 2-EXPTIME-hard, by taking over the Alternating VASS model, little used until now. This result led to a publication "Alternating Vector Addition Systems with States" after completion by my internship supervisor.