Name:Nathaniel Yazdani

Country:United States

Affiliation:Northeastern University

Research interests:Programming Languages; Program Verification; Program Synthesis