
Registered user since Fri 5 Jan 2018
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
Personal website:http://ananoraevans.org/
Research interests:Programming Languages, Formal Methods
Contributions
ICSE 2020 | Is Rust Used Safely by Software Developers? An Oracle Language for Autonomous Vehicles | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2020-profile
View general profile
View general profile