NASA Formal Methods 2024 (series) / Nija Shi
Registered user since Mon 25 Sep 2023
Name:Nija Shi
Country:United States
Affiliation:NASA Ames Research Center
Research interests:Machine Learning, Natural Language Processing
Contributions
2024
NFM
- Session Chair of Tools Lightning Session (part of NFM 2024)
- Session Chair of Keynote Talk #3 (part of NFM 2024)
- Conference Chair in Organizing Committee within the NFM 2024-track
- Session Chair of Closing Session / NFM 2025 (part of NFM 2024)
- Session Chair of Tool Demonstration Session (part of NFM 2024)
- Tool Demonstration Session
NASA Formal Methods 2024-profile
View general profile
View general profile