Kshitij Bansal

Registered user since Wed 10 Feb 2021

Name: Kshitij Bansal

Country: United States

Personal website: https://kshitij.io

Research interests: Automated Reasoning, Machine Learning, Formal Methods

Contributions

VMCAI 2021 Author of Decomposing Data Structure Commutativity Proofs with mn-Differencing within the VMCAI-track