Name:Mehdi Bagherzadeh

Country:United States

Affiliation:Oakland University

Research interests:Correct software construction at the intersection of Programming Languages, Formal Methods and Software Engineering