Abhishek Kr Singh

Registered user since Thu 28 Nov 2019

Name:Abhishek Kr Singh
Country:India
Affiliation:Tata Institute of Fundamental Research Mumbai
Research interests:Logic, Automata, Formal verification and Interactive Theorem Proving

Contributions

CPP 2020 Author of A Constructive Formalization of the Weak Perfect Graph Theorem within the CPP 2020-track