Sourav Das

Registered user since Mon 18 Jul 2022

Name:Sourav Das
Country:India
Affiliation:Indian Institute of Technology Kharagpur
Research interests:Formal Methods, Design Verification, Assertion based verification

Contributions

APLAS 2022 Committee Member in Artifact Evaluation Committee