Dr. Abhishek Kr Singh is currently an Assistant Professor in the SERC group at the International Institute of Information Technology (IIIT) Hyderabad. His research primarily focuses on Formal Methods, Programming Languages, Software Engineering, and Trustworthy AI. His current research efforts are aimed at establishing a formal foundation for Trustworthy Autonomy, striving to contribute to a future where technology enhances safety and security in autonomous applications.
Dr. Singh earned his PhD in Computer Science from the Tata Institute of Fundamental Research (TIFR) Mumbai in 2020, where he had the privilege of working under the esteemed supervision of Professor Raja Natarajan. Following the completion of his PhD, Dr. Singh served as an Assistant Professor in the Department of Computer Science and Information Systems (CSIS) at BITS Pilani, Goa Campus, for two years (2020-2022). He then transitioned to a postdoctoral researcher role at Tel Aviv University in Israel from 2022 to 2024, collaborating with Professor Ori Lahav. Subsequently, he took on the position of Senior Research Fellow for a year at the School of Computing at the National University of Singapore, hosted by Professor Abhik Roychoudhury.