conf.researchr.org / Neea Rusch
Registered user since Fri 11 Feb 2022
Name:Neea Rusch
Country:United States
Affiliation:Augusta University
Personal website: https://neea.pl
GitHub: https://github.com/nkrusch
Research interests:Formal methods, implicit computational complexity, static program analysis
Contributions