conf.researchr.org / Abhishek Kr Singh
Registered user since Thu 28 Nov 2019
Name:Abhishek Kr Singh
Bio:
I am currently a Postdoctoral researcher in the School of Computing at National University of Singapore primarily working on Automated Program and Proof Repair. Prior to this, I was a Postdoctoral researcher in the School of Computer Science at Tel Aviv University, working on the Semantics of Concurrent Programs. I completed my PhD in Computer Science from TIFR Mumbai working broadly in the area of Formalised Mathematics, under the esteemed supervision of Prof. Raja Natarajan.
Country:Singapore
Affiliation:National University Of Singapore
Personal website: https://sites.google.com/view/abhishek-singh/
Research interests:Formal Methods, Programming Language Semantics, Concurrency, Automated and Interactive Theorem Proving, Program Synthesis, Automated Program Repair
Contributions