Dr. Neeraj Kumar Singh is an Associate Professor of Computer Science at INPT-ENSEEIHT and member of the ACADIE team at IRIT. Before joining INPT, 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 Ph.D. 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.? Dr. Singh is the author/editor of Quantum Computing: A Shift from Bits to Qubits and Using Event-B for Critical Device Software Systems from Springer, Essential Computer Science: A Programmer’s Guide to Foundational Concepts and Industrial System Engineering for Drones from APress, and System on Chip Interfaces for Low Power Design from Morgan Kaufmann/Elsevier.