Invited Speakers

Prof. Somayeh Sojoudi (UC Berkeley)

Somayeh Sojoudi is an Assistant Professor in the Departments of Electrical Engineering & Computer Sciences and Mechanical Engineering at the University of California, Berkeley. She is an Associate Editor for the journals of the IEEE Transactions on Smart Grid, Systems & Control Letters, IEEE Access, and IEEE Open Journal of Control Systems. She is also a member of the conference editorial board of the IEEE Control Systems Society. She received several awards and honors, including INFORMS Optimization Society Prize for Young Researchers, INFORMS Energy Best Publication Award, INFORMS Data Mining Best Paper Award, NSF CAREER Award, and ONR Young Investigator Award. She has also received several best student conference paper awards (as advisor or co-author) from the Control Systems Society.

Prof. Changliu Liu (CMU)

Changliu Liu is an assistant professor in the Robotics Institute at CMU, where she leads the Intelligent Control Lab. Prior to joining CMU in 2019, she was a postdoc at Stanford Intelligent Systems Laboratory. She obtained her Ph.D from Berkeley in 2017, where she worked in Mechanical Systems & Control Lab. She got her bachelor degree from Tsinghua University in 2012. Changliu’s primary research focus is on the design and verification of intelligent systems that work with people, with application to manufacturing and transportation. Changliu published the book “Designing Robot Behavior in Human-Robot Interactions” with CRC press in 2019. Changliu co-organized the International Verification of Neural Networks Competition (VNN-COMP) in 2020 and 2021.

Prof. Suman Jana (Columbia University)

Suman Jana is an associate professor in the department of computer science at Columbia University. His primary research interests are at the intersection of computer security and machine learning. More specifically, he is interested both in using machine learning to improve software security and in improving security and reliability of the machine learning models themselves. Suman’s work is well recognized in computer security and he received the 2021 OSDI best paper award, 2019 NSF CAREER Award, 2018 ARO Young Investigator Award, 2017 SOSP best paper award, 2017 Google Faculty Research Award, IEEE S&P 2014 Best Practical Paper Award and IEEE S&P 2012 Best Student Paper Award.

Prof. Gagandeep Singh (UIUC)

Gagandeep Singh is an Assistant Professor in the Department of Computer Science at the University of Illinois Urbana-Champaign (UIUC). He also holds an Affiliated Researcher position with VMware Research. His current focus is on combining ideas from Formal Logic, Machine Learning, and Systems research to construct intelligent computer systems with formal guarantees about their behavior and safety. He obtained a PhD in Computer Science from ETH Zurich in 2020 working with Prof. Markus Püschel and Prof. Martin Vechev, and completed a Masters in Computer Science at ETH in 2014 receiving the ETH Master Medal and Bachelors in Computer Science and Engineering from IIT Patna in 2012 receiving the President of India Gold Medal. Gagandeep co-received the ACM SIGPLAN Doctoral Dissertation Award for his work on scalable and precise automated reasoning methods and tools for programs and deep neural networks.

Dr. M. Pawan Kumar (DeepMind)

M. Pawan Kumar is a research scientist at DeepMind. Prior to that, he was a faculty member in the Department of Engineering Science at the University of Oxford during 2015 - 2021, where he led the OVAL group which focused on the design and analysis of optimization algorithms for problems arising in computer vision and machine learning. During 2012 - 2015, he was a faculty member in the Center for Visual Computing at Ecole Centrale Paris. His recent research focuses include reliable parameter estimation of deep neural networks and scalable neural network verification.

Dr. Anton Dahbura (Johns Hopkins University)

Anton (Tony) Dahbura is the executive director of the Johns Hopkins University Information Security Institute, co-director of the Johns Hopkins Institute of Assured Autonomy, and an associate research scientist in computer science. His research focuses on security, fault-tolerant computing, distributed systems, and testing. From 1983 until 1996, he was a researcher at AT&T Bell Laboratories, was an invited lecturer in the Department of Computer Science at Princeton University, and served as research director for the Motorola Cambridge Research Center in Cambridge, Massachusetts. Since 1996, Dahbura has led several entrepreneurial efforts in the areas of printing, professional baseball operations, and commercial real estate. From 2000 to 2002, he served as a chair of the Johns Hopkins University Engineering Alumni. He chaired the Johns Hopkins Computer Science Department Advisory Board and also served on the Johns Hopkins University Whiting School of Engineering National Advisory Council from 1998 until 2012. He received the Johns Hopkins Heritage Award in 2004 in recognition of his service to the university.