Congratulations to Pavithra Prabhakar on her appointment as the inaugural Cleve Moler and MathWorks Endowed Chair in Mathematical and Engineering Software at the University of New Mexico.
Read More →Lipsy has been recognized for the third time as the Distinguished Researcher of the Computer Science Department at Kansas State University, honoring her outstanding publications in top-tier conferences.
Read More →Habeeb, former group member, rejoins as a Postdoctoral Fellow after completing his Ph.D. at IISc Bangalore in 2025. His research focuses on neural network verification and cyber-physical systems, with recent publications at EMSOFT.
Read More →Lipsy Gupta and Prof. Pavithra Prabhakar’s paper has been accepted to EMSOFT 2025
Read More →Congratulations to Pavithra on being elected as the Vice Chair of ACM SIGBED for the 2025–2027 term
Read More →Hassan joined us as Ph.D. student. His research focuses on safty of autonoums robots and RL.
Read More →