‹Programming› 2025 (series) / 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
Using general profile