Welcome!

My name is Guillaume Dupont and I am an associate professor/lecturer at Toulouse INP - ENSEEIHT and at Institut de Recherche en Informatique de Toulouse (IRIT) in the Assitance to the Certification of Distributed and Embedded Applications (ACADIE) team as part of the topic 7 on Safety in Software Development.

My main topic of research are formal methods for heterogeneous systems, in particular hybrid systems, and more generally proof and refinement based approach for the safety of critical systems.

If you want to contact me, you should head to the contact section.
If you are here for my research work including papers and models, then the research is a good start.
If you are interested about my career you can always visit the career page.