SPLASH 2022 (series) / Sadegh Dalvandi
![Sadegh Dalvandi](https://2022.splashcon.org/getProfileImage/sadeghdalvandi/6d3b8c6c-4136-46ff-a998-3ebd7e53ad1a/small.jpg?1713985105000)
Registered user since Tue 25 Jun 2019
Name:Sadegh Dalvandi
Country:United Kingdom
Affiliation:University of Surrey
Personal website: http://www.dalvandi.com
Research interests:Formal methods, Program verification
Contributions
SPLASH 2022-profile
View general profile
View general profile