Registered user since Wed 25 Jun 2025
Name:Radosław Jan Rowicki
Country:Denmark
Affiliation:Technical University of Denmark
GitHub: https://github.com/radrow
Research interests:Type Theory, Distributed Systems, Compiler Construction, Programming Languages
Contributions
Using general profile