Jonas Kastberg Hinrichsen
| Postdoc | ||
| Affiliation: | Logics and Semantics, Aarhus University, Denmark |
Short Biography
I am a postdoc at 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.
PhD Dissertation
Sessions and Separation [pdf]
Publications
Actris 2.0: Asynchronous Session-Type Based reasoning in Separation Logic, LMCS [pdf]
Machine-Checked Semantic Session Typing, CPP 2021 [Distinguished] [pdf]
Actris: Session-Type Based reasoning in Separation Logic, POPL 2020 [pdf]
Unpublished Manuscripts
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols [pdf]
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl) [pdf]
Talks
23. May, 2023, Aarhus University, Iris Workshop [Slides]
03. March, 2023, Aarhus University, Iris Seminar [Slides]
24. October, 2022, Aarhus University, Seminar [Slides]
21. September, 2022, KU Leuven, Summer School on Security and Verification [Slides]
02. May, 2022, Iris Workshop [Slides]
22. November, 2021, Aarhus University, Seminar [Slides]
11. June, 2021, Ph.D. Defense [Slides]
18. January, 2021, CPP Conference (long version) [Slides] [Recording]
18. January, 2021, CPP Conference (short version) [Slides] [Recording]
30. November, 2020, Aarhus University, Seminar [Slides]
18. November, 2020, Radboud University, Seminar [Slides]
20. October, 2020, IT University of Copenhagen, Seminar [Slides]
04. June, 2020, VEST workshop [Slides]
27. May, 2020, Delft University of Technology, Seminar [Slides]
22. January, 2020, POPL Conference [Slides] [Recording]
28. October, 2019, Iris Workshop [Slides]
02. October, 2019, Harvard University, Seminar [Slides]
Conference Board and Commitee Participation
ESOP 2023 Artifact Evaluation Committee
OOPSLA 2022 Research Article Evaluation Committee (Assistant)
PLACES 2022 Research Article Evaluation Committee
PLDI 2022 Artifact Evaluation Committee
POPL 2022 Artifact Evaluation Commitee
POPL 2022 Research Article Commitee (Assistant)
ICFP 2020 Artifact Evaluation Commitee
Teaching Activities
Co-Presenter - Summer School on Security Testing and Verification, KU Leuven, September 2022
Course Instructor - Program Logics, Aarhus University, Fall 2022
Course Instructor - Program Logics, Aarhus University, Fall 2021
Course Instructor - Advanced Programming, IT University of Copenhagen, Fall 2018
Course Instructor - Programming Language Concepts and Implementation, IT University of Copenhagen, Spring 2018
Teaching Assistant - Intelligent Systems Programming, IT University of Copenhagen, Spring 2016
Teaching Assistant - Operative Systems and C, IT University of Copenhagen, Fall 2015
Other Activities
Formal Methods Developer at Bedrock Systems, Inc., Fall 2019
Contact
| E-mail: | hinrichsen@cs.au.dk | |
| Phone: | +45 60 24 99 24 | |
| Office: | Åbogade 34 | |
| 8200 Aarhus N, DK-Denmark | ||