Souradeep Dutta

Souradeep Dutta is an Assistant Professor in the Department of Electrical and Computer Engineering at The University of British Columbia. His research interests include Reinforcement Learning, cyber-physical systems, formal methods, and artificial intelligence. His work focuses on fundamental problems in machine learning, particularly learning efficiently from data and assurance techniques on the learnt model. Applications of his research include robotics and medical devices. Dutta's publications appear in top-tier conferences such as ICLR, CORL, HSCC, ICCPS, ICAPS, NFM, L4DC, CHASE, ADHS, and CMSB. He has served on the program committees and as a reviewer for conferences including AAAI, ATVA, DESTION, EMBC, ICCPS, ICML, L4DC, LMCS, NEURIPS, NFM, NSV, and RV.

Souradeep Dutta is a researcher at the University of British Columbia with expertise in Artificial Intelligence, Formal Methods, Machine Learning, Robotics, and Cyber-Physical Systems. His work focuses on the verification and control of neural network-based systems, particularly in feedback control and safety-critical applications. Dutta has published on topics such as reachability analysis for neural feedback systems, robust control of artificial pancreas systems, and imprecise Bayesian neural networks. His research also explores the integration of AI with embedded systems and the development of interpretable models for cyber-physical systems. Dutta's contributions emphasize the intersection of formal verification and machine learning to ensure reliability and safety in complex systems.