Jonas Kastberg Hinrichsen - PLDI 2022

Mon 13 - Fri 17 June 2022 San Diego, California, United States

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

2022

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

Show activities from other conferences

PLDI 2022-profile
View general profile