
Registered user since Fri 15 Apr 2022
Name:Laura Humphrey
Country:United States
Affiliation:Air Force Research Laboratory
Research interests:formal methods, autonomy, human-automation interaction, unmanned air vehicles
Contributions
FormaliSE 2022 | Committee Member in Program Committee within the FormaliSE 2022-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2022-profile
View general profile
View general profile