Jonas Kastberg Hinrichsen

Registered user since Mon 8 Jul 2019

Name: Jonas Kastberg Hinrichsen

Country: Denmark

Affiliation: IT University of Copenhagen

Personal website:

Research interests: Formal Verification, Session Types


CPP 2021 Author of Machine-Checked Semantic Session Typing within the CPP 2021-track
ICFP 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2020 Author of Actris: Session-Type Based Reasoning in Separation Logic within the Research Papers-track