Jonas Kastberg Hinrichsen
| Postdoc | ||
| Affiliation: | Logics and Semantics, Aarhus University, Denmark |
Short Biography
I am a postdoc at the Aarhus University in Denmark. I come from an applied background, and so my interests for theoretical computer science are rooted in bridging the gap between industry and academia. My main contribution thus far, the Actris logical framework, is then, in part, a venture about defining intuitive yet expressive specifications and proofs for complicated message-passing programs, parsable by those who are less theoretically interested.
Ph.D. Dissertation
Sessions and Separation [pdf]
Publications
Machine-Checked Semantic Session Typing, CPP 2021 [Distinguished] [pdf]
Actris: Session-Type Based reasoning in Separation Logic, POPL 2020 [pdf]
Manuscripts
Actris 2.0: Asynchronous Session-Type Based reasoning in Separation Logic [pdf]
Talks
22. November, 2021, Aarhus University [Slides]
11. June, 2021, Ph.D. Defense [Slides]
18. January, 2021, CPP (long vesion) [Slides]
18. January, 2021, CPP (short vesion) [Slides]
30. November, 2020, Aarhus University [Slides]
18. November, 2020, Radboud University [Slides]
20. October, 2020, IT University of Copenhagen [Slides]
04. June, 2020, VEST workshop [Slides]
27. May, 2020, Delft University of Technology [Slides]
22. January, 2020, POPL [Slides]
28. October, 2019, Iris Workshop [Slides]
02. October, 2019, Harvard University [Slides]
Other
POPL Artifact Evaluation Commitee 2022 member
POPL 2022 assistant reviewer
ICFP Artifact Evaluation Commitee 2020 member
Contact
| E-mail: | hinrichsen@cs.au.dk | |
| Phone: | +45 60 24 99 24 | |
| Office: | Åbogade 34 | |
| 8200 Aarhus N, DK-Denmark | ||