Registered user since Mon 8 Jul 2019
Name:Jonas Kastberg Hinrichsen
Country:Denmark
Affiliation:IT University of Copenhagen
Personal website: https://jihgfee.github.io/
Research interests:Formal Verification, Program Logics, Proof Assistants, Higher-Order Logic, Concurrency, Distributed Systems, Liveness, Formal Protocols
Contributions
Using general profile