Dr. Abhishek Kr. Singh has joined the Software Engineering Research Center (SERC) as an Assistant Professor.

Dr. Abhishek Kr Singh obtained his Ph.D in Computer Science from the Tata Institute of Fundamental Research (TIFR) in Mumbai, under the esteemed supervision of Prof. Raja Natarajan, focusing broadly on Formalized Mathematics. Dr. Singh was a postdoctoral researcher at Tel Aviv University, Israel. After that he served as a Senior Research Fellow in the Automated Program Repair group at the School of Computing, National University of Singapore. Dr. Singh also has experience as a faculty member in the Department of Computer Science and Engineering at BITS Pilani, Goa, where he taught courses in Automata Theory, Algorithms, Parallel Computing, and Interactive Theorem Proving.

His research interests encompass a broad range of topics, including Formal Methods, Programming Languages, Software Engineering, Program Semantics, Relaxed Memory Concurrency, Theorem Proving, Automated Reasoning, Program Synthesis, and Trustworthy Artificial Intelligence.

April 2025