Neeraj Kumar Singh
Dr. Neeraj Kumar Singh is an Associate Professor in INPT-ENSEEIHT at the University of Toulouse since 2015. He also holds a joint appointment with the Institute de Recherche en Informatique de Toulouse (IRIT) (UMR CNRS 5505) for conducting the research activities in the ACADIE team. He leads his research in the area of theory and practice of rigorous software engineering and formal methods to design and implementation of safe, secure and dependable critical systems related to automotive, medical, avionics and nuclear domains.
He received his Ph.D. in Computer Science from INRIA Nancy Grand Est, Henri Poincaré University, Nancy 1 (now the Université de Lorraine), France in 2011, on the topic of Reliability and Safety of Critical Device Software Systems. From 2012 to 2013, he was a research associate in the Computer Science Department of University of York, UK, working on the EPSRC funded project: High-integrity Java Applications using Circus (HiJaC). From end 2013 to August 2015, he was a research fellow and team leader in the Centre for Software Certification (McSCert) at McMaster University, Canada, working on Ontario Research Fund - Research Excellence (ORF-RE) funded project: Certification of Safety-Critical Software-Intensive Systems and Automotive Partnership Canada (APC) funded project: Centre is the Network for the Engineering of Complex Software-Intensive Systems (NECSIS) for Automotive Systems. His master's degree is in Optimization System and Security (OSS) from the University of Technology of Troyes, France in 2008. He also received Master of Computer Application (MCA) from Uttar Pradesh Technical University (UTPU), India in 2006, and Bachelor of Science (B.Sc.) in Computer Science from Lucknow University, India in 2003.
He proposed the development life-cycle and a set of associated techniques and tools to develop highly critical systems using formal techniques from requirements analysis to automatic source code generation using several intermediate layers with a rigorous safety assessment approach. His interests include formal modelling, refinement, cyber-physical systems, formal methods, model checking, automated theorem prover, programming languages, automatic code generation, verifying medical protocol, software engineering, tabular expression, software and system certification, model-driven engineering and biomedical signal processing.
Dr. Singh received the Best Paper Awards at BIOSIGNALS 2009. He is also the author of a book "Using Event-B for Critical Device Software Systems", which is published by Springer. Dr. Singh has obtained a certificate of Qualification (No. 12227230528) from the French Ministry of Research and Education (Conseil National des Universités).
Dr. Singh has developed an automatic code generator tool EB2ALL, which automatically generates efficient target programming language code (C, C++, Java and C#) from Event-B formal specification related to the analysis of complex problems.
Dr. Singh has a strong background in diverse fields such as image and video processing, artificial intelligent (AI), biomedical signal processing, and blind source separation (BSS). He worked as a Research Assistant at Electrical Engineering Department, Indian Institute of Technology, Kanpur, India from January, 2006 to July, 2007. At IIT-Kanpur, he worked on Indian Space Research Organisation (ISRO) funded project: Modelling, Classification and Fault Detection of Sensors using Intelligent Methods, Ministry of Information and Technology (MIT) funded projects: Video, Image and Data Compression Techniques and its Application to E-Learning/Education, and Development of Independent Component Analysis Based Blind Source Separation Algorithms for Audio/Image Separation.