Registered user since Mon 9 May 2016
Name:Soumyadip Bandyopadhyay
Country:India
Affiliation:ACM Member
Research interests:Formal verification, Software Engineering
Contributions
Using general profile
ATVA 2025
Mon 27 - Fri 31 October 2025 Bengaluru, India
- Attending
- Sponsorship
- Program
- Tracks
- Organization
- ATVA 2025 Committees
- Artifact Evaluation Committee
- Programme Committee
- Organizing Committee
- General Chair
- Contributors
- People Index
- Search
- Series