![Jonas Kastberg Hinrichsen](https://popl20.sigplan.org/getProfileImage/jonaskastberghinrichsen/e36dfa26-774a-486c-8f77-a658da8f2ce6/small.jpg?1712255866000)
Registered user since Mon 8 Jul 2019
Name:Jonas Kastberg Hinrichsen
Country:Denmark
Affiliation:IT University of Copenhagen
Research interests:Formal Verification, Session Types, Concurrency
Contributions
POPL 2020-profile
View general profile
View general profile