Students
Ph.D. Students
In Progress:
Rémy Sangoï (Co-supervision with Yamine Aït Ameur and Guillaume Dupont) ( 2025 - Present)
Christophe Chen (Co-supervision with Yamine Aït Ameur and Guillaume Dupont) ( 2024 - Present)
Yannis Benabbi (Co-supervision with Yamine Aït Ameur) (2023 - Present)
Abhishek Kumar Saxena (Co-Supervision with Rajiv Pandey, Amity University, Lucknow, India) (2021-Present)
Completed:
Peter Riviere (Co-supervision with Yamine Aït Ameur) (2020 - 2024)
Title: Automatic generation of proof obligations parameterised by domain theories implementation in Event-B: The EB4EB Framework
Ismail Mendil (Co-Supervision with Yamine Aït Ameur, Philippe Palanque, and Dominique Mery) (2019 - 2023)
Title: A Framework for Explicit Modelling of Domain Knowledge in State-Based Formal Methods: the Case of Interactive Critical Systems
Alexandra Halchin (RATP) (Co-Supervision with Yamine Aït Ameur) (2016 - 2021)
Title: Development of a Formal Verification Methodology for B specifications using PERF. Application to safety requirements of railway systems.
Guillaume Dupont (INPT-ENSEEIHT/IRIT) (Co-Supervision with Yamine Aït Ameur and Marc Pantel) (2017 - 2021)
Title: Correct-by-Construction Design of Hybrid Systems Based on Refinement and Proof.
(Léopold ESCANDE thesis prize)
Ph.D Defense Committee
Brajesh Kumar Shukla, Indian Institute of Technology Jodhpur (IITJ), Jodhpur, India, October 2020, (thesis reviewer)
Masters & Undergraduate Students
Yanis Kouidri, undergraduate final project, “Conception et Dévelopment d’une Bibliotheque en Rust pour la Decommutation de Télémesures Image”, 2025, INP-ENSEEIHT/IRIT.
Christophe Chen, Master project, “An algebraic theory of ASTD”, 2024, INP-ENSEEIHT/IRIT. • Arnaud Fleury, undergraduate final project, “Development of a tool STED* (STE* Dashboard)”, 2024, INP-ENSEEIHT/IRIT.
Clement Torti, undergraduate final project, “A Framework for Automating Testing Process”, 2023, INP-ENSEEIHT/IRIT
Mathieu Teissedre, undergraduate final project, “Input-Output Simulators for Aeronautical Bus”, 2022, INP-ENSEEIHT/IRIT
Mickael Dalbin, undergraduate final project, “WebApp: SSO Authentication and Permissions Management”, 2021, INP-ENSEEIHT/IRIT
Thomas Salinas Broutee, undergraduate final project, “Development of VoIP analysis tools”, 2020, INP-ENSEEIHT/IRIT
Hasnae Dada, undergraduate project, “Cloud Services Integration Optimisation”, 2017, INP- ENSEEIHT/IRIT
Romain Geniet, M.Sc, “Verification of critical interactive systems through refinement and proofRomain Geniet @ INPT-ENSEEIHT, 2016 using Event-B”, 2016, INP-ENSEEIHT/IRIT, co-advised with Yamine Ait-Ameur
Mohamed Anas Charafi, undergraduate project, “Transformation of B model to HLL”, 2016, INP-ENSEEIHT/IRIT
Yanjun Jiang, M.A.Sc,“A Tabular Expression to Event-B Language Transformation Tool”, 2015, McMaster University, co-advised with Tom Maibaum
Sasan Vakili, M.A.Sc., “Design and Formal Verification of an Adaptive Cruise Control Plus (ACC+) System”, 2015, McMaster University, co-advised with Mark Lawford
Mischa Geven, M.A.Sc., 2014, McMaster University, co-advised with Alan Wassyng and Mark Lawford
Nicholas Proscia, M.A.Sc., 2014, McMaster University, co-advised Alan Wassyng and Mark Law- fordYanjun Jiang @ McMaster, 2015
Intern Students
Mohamed Anas Charafi @ INPT-ENSEEIHT, 2016
Student Opportunity
I am looking for a PhD student in the area of formal methods and software engineering. Interested students should contact me at nsingh{at}enseeiht{dot}fr.