Name:Abhishek Kr Singh

Bio:

I am an Assistant Professor in the Software Engineering Research Centre (SERC) at IIIT Hyderabad. I primarily work in areas of Formal Methods, Programming Languages, Concurrency, Weak Memory models, and Software Engineering. My current research efforts are aimed at establishing a formal foundation for Trustworthy Autonomy in Software Development.

I earned my PhD in Computer Science from TIFR Mumbai, working under the supervision of Prof. Raja Natarajan. I spent two years as a postdoctoral researcher at the Tel Aviv University in Israel woking with Prof. Ori Lahav in the space of Shared Memory Concurrency. Following that, I was a Senior Research Fellow in the Programing Language and Software Engineering (PLSE @ SoC) at NUS.

Country:India

Affiliation:IIIT Hyderabad

Research interests:Formal Methods, Programming Language, Software Engineering, Concurrency Semantics, Theorem Proving, and Trustworthy AI.