Neeraj Kumar Singh                                                          2017

Neeraj Kumar Singh is an Associate Professor in ACADIE research team at IRIT/INPT-ENSEEIHT, University of Toulouse, France since September 2015. 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, avionic 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 January 2012 to July 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 August 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 (UPTU), 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