Registered user since Mon 9 May 2016
Name:Soumyadip Bandyopadhyay
Country:India
Affiliation:ABB Corporate Research Center, India
Personal website: https://soumyadipcsis.github.io/soumyadip/
Research interests:Formal verification, Software Engineering
Contributions
FSE 2025-profile
View general profile
View general profile