Career

In this page, you will find an overview of my curriculum.

Sept. 2021–Today: Lecturer/Associate Professor (Maître de Conférence) at Toulouse INP-ENSEEIHT and IRIT, Toulouse, France
Sept. 2020–Aug. 2021: Assistant researcher (ATER) at Toulouse INP-ENSEEIHT and IRIT, Toulouse, France
Oct. 2017–Jan. 2021: Ph.D. with teaching duties (DCCE) at Toulouse INP-ENSEEIHT and IRIT, Toulouse, France
April 2017–Sept. 2017: Master project (PFE) at the MAGIC team at Concordia University, Montréal, Canada, under the supervision of Pr. Ferhat Khendek and Dr. Sadaf Mustafiz
Subject: model-driven engineering for virtual network design

March-May 2019: Visiting National Institute of Informatics, Tokyo, Japan
As part of the ERATO MMSD project, with Pr. Fuyuki Ishikawa (resulting publication: ICFEM’20)
July 2018: Visiting Newcastle-upon-Thyne University, United Kingdom
In the team of Alexander Romanovsky (resulting publication: ICECCS’19)
Aug. 2018: Marktoberdorf Summer School, Germany
Two weeks of intensive theoretical and practical classes, given by distinguished researchers

Oct. 2017–Jan. 2021: Ph.D. of Computer Science at IRIT/Toulouse INP, supervised by Pr. Yamine Aït-Ameur, Dr. Neeraj K. Singh and Dr. Marc Pantel
Subject: Formal Design of Cyber-Physical System using Refinement and Proof
Sept. 2014–Sept. 2017: Engineering degree in Computer Science and Applied Mahtematics at ENSEEIHT, Toulouse, France
Administratively equivalent to a Master degree, top 5% of my year
Sept. 2012–Aug. 2014: Classes Préparatoires aux Grandes Écoles at Lycée Claude Gellée of ÉPinal, France
Two years of intensive classes in mathematics and physics, preparing for very selective concours
2012: Baccalauréat Scientifique at Lycée Claude Gellée of Épinal, France
Equivalent to an A-level in Physics and Mathematics or to a High School Diploma, obtained with honors

June 2016–Aug. 2016: Development of an optimized audio recognition algorithm at Telequid, Toulouse, France
Start-up company specialized in streaming structures and developing an application (Yuzz.it) that revolves around TV channel recognition based on audio
June 2015–Aug. 2015: Development of a VBA/Excel application for accounting purposes at Glaces Thiriet, Eloyes, France
Important French frozen products distribution company; worked on multidimensional databases with Hyperion/Oracle Cubes

Formal Methods: logic and proof (natural deduction, weakest precondition, Hoare triples, etc.), Coq proof assistant, Why3, SAT/SMT, Event-B, …
Programming: Imperative (Ada, C), functional (OCaml), object-oriented (Java), logic (Prolog), system (C+POSIX), concurrent, mobile (Android), …
Software Design: Software engineering (UML, …), model-driven engineering (Eclipse/EMF), …

Formal Methods & Theoretical Computer Science: logic & modal logic, proof theory, state-based + refinement, hybrid systems, Coq, Why3, Event-B/Rodin (+ theories), …
Model-Driven Engineering: domain-specific modelling, model transformation, megamodelling, EMF, Epsilon, …
Software Engineering and Ecosystem: DevOps, Git, SVN, design, UML, virtualization and containers, web, …
Programming Languages: C, C++, Haskell, OCaml, Scala, Java, Prolog, Python, Fortran, JavaScript, HTML/CSS, PHP, Matlab, Perl, …

Hobbie: Practices music since the age of 6, plays the piano (and keyboards more generally), the bass, the tuba…

Guillaume Dupont