Name:Ana Nora Evans

Bio:

PhD candidate at the University of Virginia, advised by Professor Mary Lou Soffa.

Country:United States

Affiliation:University of Virginia, USA

Research interests:Programming Languages, Formal Methods