Name:Nathaniel Yazdani

Country:United States

Affiliation:University of Washington, Seattle

Research interests:Programming Languages; Program Verification; Program Synthesis