NASA Formal Methods 2024 (series) / Nija Shi
![Nija Shi](https://conf.researchr.org/getProfileImage/nijashi/5d6a91d6-be53-4fde-9904-ceac6f76a3ce/small.jpg?1719000360000)
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