Neeraj Kumar Singh

Dr. Neeraj Kumar Singh is an Associate Professor in Computer Science at Ecole Nationale Superieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique, et des Telecommunications, Toulouse, France and member of the ACADIE team at Institute de Recherche Informatique de Toulouse. Before joining ENSEEIHT, Dr. Singh worked as a research fellow and team leader at the Centre for Software Certification (McSCert), McMaster University, Canada. He worked as a research associate in the...See more

Dr. Neeraj Kumar Singh is an Associate Professor in Computer Science at Ecole Nationale Superieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique, et des Telecommunications, Toulouse, France and member of the ACADIE team at Institute de Recherche Informatique de Toulouse. Before joining ENSEEIHT, Dr. Singh worked as a research fellow and team leader at the Centre for Software Certification (McSCert), McMaster University, Canada. He worked as a research associate in the Department of Computer Science at University of York, UK. He also worked as a research scientist at the INRIA Nancy Grand Est Centre, France, where he has received his PhD in computer science. He leads his research in the area of theory and practice of rigorous software engineering and formal methods to design and implement safe, secure and dependable critical systems. He is an active participant in the "Pacemaker Grand Challenge." He is the author of Using Event-B for Critical Device Software Systems, published by Springer. He has been involved in many scientific activities, such as PC chair, PC member, and external referee for journals and ANR projects. He is also involved in several research projects on formal methods and system engineering as project leader and as scientific coordinator. See less