• Sign in
  • Sign up
conf.researchr.org / Nija Shi
  • NASA Formal Methods 2024 profile
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)
  • Chair of Tool Demonstration Session within the NFM 2024-track
Share
xFri 16 May 01:34
using conf.researchr.org (v1.69.0)
Support page
Sign Up