Artificial Intelligence and Machine Learning for Safety-Critical Systems

Dr. Rajiv Pandey is a Faculty member at Amity Institute of Information Technology, Amity University, Uttar Pradesh, Lucknow Campus, India. He possesses a diverse background experience of around 35 years to include 15 years in industry and 20 years of academic research and instruction. His research interests include blockchain and crypto currencies, information security, semantic web provenance, Cloud computing, Big Data, and Data Analytics. Dr. Pandey is a Senior Member of IEEE and has been a session chair and technical committee member for various IEEE conferences. He has been on the technical committees of various government and private universities, and is the editor of Quantum Computing: A Shift from Bits to Qubits from Springer, Data Modelling and Analytics for the Internet of Medical Things from CRC Press/Taylor & Francis, and Artificial Intelligence and Machine Learning for Edge Computing from AP/Elsevier.

Dr. Kanishka Tyagi is Director of Artificial Intelligence at UHV Technologies, Ft. Wayne, IN, USA, where he leads the development of Machine Learning in diverse R&D projects,

including the sorting of non-recyclable plastics, metal alloys, pathological samples, and the analysis of Roots CT images, funded by the US Department of Energy. Previously, he has worked as a lead machine learning autonomous driving scientist at Aptiv Corporation in Agoura Hills, California. Prior to Aptiv, he worked at Siemens research, interned in ML groups at The MathWorks and Google Research. He has worked as a visiting researcher at Ajou University and Seoul National University. Dr. Tyagi worked as a Research Associate at the Department of Electrical Engineering, Indian Institute of Technology, Kanpur, with Dr. P.K. Kalra. He received his M.S. and Ph.D. degree with Dr. Michael Manry in the Department of Electrical Engineering at the University of Texas at Arlington. His research interests are optimization theory, music and audio processing, neural networks, hardware machine learning, and radar machine learning. He is a co-editor of Quantum Computing: A Shift from Bits to Qubits from Springer. Dr. Tyagi has filed 15 U.S. patents/trade secrets in the course of his research. 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.

Dr. Nidhi Srivastava is currently working as Assistant Professor at Amity Institute of Information Technology, Amity University, Uttar Pradesh, Lucknow Campus India. She has more than 16 years of teaching experience. Dr. Srivastava's research interests include Human Computer Interaction, Cloud computing, semantic web, and speech recognition. She is a co-editor of Quantum Computing: A Shift from Bits to Qubits and Semantic IoT: Theory and Applications from Springer.