SPLASH 2017 (series) / Mehdi Bagherzadeh
![Mehdi Bagherzadeh](https://2017.splashcon.org/getProfileImage/mehdibagherzadeh/d067a1f4-8d43-4d54-b59d-463518d78204/small.jpg?1711458485000)
Registered user since Thu 15 May 2014
Name:Mehdi Bagherzadeh
Country:United States
Affiliation:Oakland University
Personal website: https://mbagherz.bitbucket.io/
Research interests:Correct software construction at the intersection of Programming Languages, Formal Methods and Software Engineering
Contributions
SPLASH 2017-profile
View general profile
View general profile