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.

Select Guide Rating

• Introduction to AI and Machine Learning for Safety-Critical SystemsSection 1: Healthcare1. Robotics surgery2. Bio signal processing3. Medical imaging4. Medical devices and Life support systemsSection 2: Transportation5. Autonomous driving6. Railway transportation7. Air transportation8. Roadway transportationSection 3: Avionics and Space9. Space systems10. Rovers for space11. Satellite communications12. Radiation related issuesSection 4: Finance13. Banking systems14. Business analysis15. Taxation16. Loans and Investment17. Fraud preventionSection 5: Utility systems18. Waste-water supply systems19. Natural gas distribution20. Power grid distribution21. Weather systemsSection 6: Manufacturing22. Heavy Industry23. Drug manufacturing24. Electronics manufacturing25. Food industry26. Mining industrySection 7: Telecommunication and Infrastructure27. Internet of things28. Sensing technology29. Distributed communication30. Communication and controls31. Radio environmentSection 8: Security and compliance32. Admin and public services33. Encryption/decryption34. Cybersecurity35. System Monitoring and Intrusion detection systemSection 9: Nuclear systems36. Nuclear controller and cooling systems37. Nuclear leak and radiation detections38. Reactor protection system39. Nuclear core reactor40. Management systems for nuclear facility

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.

Select Guide Rating

• Introduction to AI and Machine Learning for Safety-Critical SystemsSection 1: Healthcare1. Robotics surgery2. Bio signal processing3. Medical imaging4. Medical devices and Life support systemsSection 2: Transportation5. Autonomous driving6. Railway transportation7. Air transportation8. Roadway transportationSection 3: Avionics and Space9. Space systems10. Rovers for space11. Satellite communications12. Radiation related issuesSection 4: Finance13. Banking systems14. Business analysis15. Taxation16. Loans and Investment17. Fraud preventionSection 5: Utility systems18. Waste-water supply systems19. Natural gas distribution20. Power grid distribution21. Weather systemsSection 6: Manufacturing22. Heavy Industry23. Drug manufacturing24. Electronics manufacturing25. Food industry26. Mining industrySection 7: Telecommunication and Infrastructure27. Internet of things28. Sensing technology29. Distributed communication30. Communication and controls31. Radio environmentSection 8: Security and compliance32. Admin and public services33. Encryption/decryption34. Cybersecurity35. System Monitoring and Intrusion detection systemSection 9: Nuclear systems36. Nuclear controller and cooling systems37. Nuclear leak and radiation detections38. Reactor protection system39. Nuclear core reactor40. Management systems for nuclear facility

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.

Select Guide Rating

• Introduction to AI and Machine Learning for Safety-Critical SystemsSection 1: Healthcare1. Robotics surgery2. Bio signal processing3. Medical imaging4. Medical devices and Life support systemsSection 2: Transportation5. Autonomous driving6. Railway transportation7. Air transportation8. Roadway transportationSection 3: Avionics and Space9. Space systems10. Rovers for space11. Satellite communications12. Radiation related issuesSection 4: Finance13. Banking systems14. Business analysis15. Taxation16. Loans and Investment17. Fraud preventionSection 5: Utility systems18. Waste-water supply systems19. Natural gas distribution20. Power grid distribution21. Weather systemsSection 6: Manufacturing22. Heavy Industry23. Drug manufacturing24. Electronics manufacturing25. Food industry26. Mining industrySection 7: Telecommunication and Infrastructure27. Internet of things28. Sensing technology29. Distributed communication30. Communication and controls31. Radio environmentSection 8: Security and compliance32. Admin and public services33. Encryption/decryption34. Cybersecurity35. System Monitoring and Intrusion detection systemSection 9: Nuclear systems36. Nuclear controller and cooling systems37. Nuclear leak and radiation detections38. Reactor protection system39. Nuclear core reactor40. Management systems for nuclear facility