conf.researchr.org / Abhishek Kr Singh
![Abhishek Kr Singh](https://conf.researchr.org/getProfileImage/abhishekkrsingh/801a1576-faf2-48da-99b9-35e21d3dad37/small.jpg?1717664294000)
Registered user since Thu 28 Nov 2019
Name:Abhishek Kr Singh
Bio:
I am a Senior Research Fellow in the School of Computing at NUS Singapore. Prior to this, I was a Postdoctoral Researcher in the School of Computer Science at Tel Aviv University. I obtained my PhD in Computer Science from TIFR Mumbai, working in the area of Interactive Theorem Proving and Finite Set Combinatorics.
Country:Singapore
Affiliation:School of Computing, National University Of Singapore
Personal website: https://sites.google.com/view/abhishek-singh/
Research interests:Formal Methods, Programming Language, Software Engineering, Concurrency Semantics, Theorem Proving, and Program Synthesis.
Contributions