Registered user since Mon 8 Jul 2019
Name:Jonas Kastberg Hinrichsen
Country:Denmark
Affiliation:Aarhus University, Denmark
Personal website: https://jihgfee.github.io/
Research interests:Formal Verification, Session Types
Contributions
Using general profile