Neeraj Kumar Singh                                                                2018

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) 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. 

http://www.springer.com/computer/theoretical+computer+science/book/978-1-4471-5259-0