![Abhishek Kr Singh](https://popl20.sigplan.org/getProfileImage/abhishekkrsingh/859eff6e-d5f0-426d-acbe-bfe1e3e2ee14/small.jpg?1717664294000)
Registered user since Thu 28 Nov 2019
Name:Abhishek Kr Singh
Country:India
Affiliation:Tata Institute of Fundamental Research Mumbai
Personal website: https://sites.google.com/view/abhishek-singh/
Research interests:Logic, Automata, Formal verification and Interactive Theorem Proving
Contributions
POPL 2020-profile
View general profile
View general profile