Write a Blog >>
Jonas Kastberg Hinrichsen

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 2020Author of Actris: Session-Type Based Reasoning in Separation Logic within the Research Papers-track
Show activities from other conferences

POPL 2020-profile
View general profile