Students
Ph.D. Students
In Progress:
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)
Master Students
Romain Geniet @ INPT-ENSEEIHT, 2016
Yanjun Jiang @ McMaster, 2015
Sasan Vakili @ McMaster, 2015
Mischa Geven @ McMaster, 2014
Nicholas Proscia @ McMaster, 2014
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.