Welcome!

My name is Guillaume Dupont, and I am a Lecturer/Associate Professor (maître de conférence) at the Institute of Research in Informatics of Toulouse as part of the ACADIE team and at the ENSEEIHT school of engineering.

Research Topics

My main research themes are formal methods and model-driven engineering, more specifically in the following domains:

• safe system design
• heterogeneous systems (in particular hybrid and cyber-physical systems) design and (co-)verification
• state-based approaches and refinement
• proof-based approaches
• domain-specific modelling and verification

Details about my research, including my publications and models, are available in the Research page.

Current projects

I am currently part of the following research projects:

• DISCONT ANR project about DIScrete and CONTinuous integration
• EBRP ANR project about enhancing Event-B and the Rodin tool

Teaching Topics

I teach computer science at the ENSEEIHT school of engineering in the digital science department (Sciences du Numérique), from first to third year (equivalent to 3rd year of licence to 2nd year of master).

My teaching include:

• software design
• model-driven engineering (+ EMF, Xtext, Sirius, ATL, Acceleo, etc.)
• algorithmic and programming (object-oriented, imperative, functional, logic, constraint)
• logic and proof (+ Coq, Why 3)
• concurrent systems
• system programming
• Event-B and state-based formal design
• Various programming languages (Java, C, OCaml, Prolog, Ada, etc.)

You can find details about by teaching and links to my teaching supports in the Teaching page.

Contact

Feel free to contact me, either by mail at guillaume *dot* dupont *at* irit *dot* fr, or via postal services at the following address: