Jonas Kastberg Hinrichsen

Jonas Kastberg Hinrichsen

Postdoc  
Affiliation:   Logics and Semantics, Aarhus University, Denmark

Short Biography

me

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]

Talks

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

PLDI Artifact Evaluation Committee 2022 member

PLACES Research Article Evaluation Committee 2022 member

POPL Artifact Evaluation Commitee 2022 member

POPL Research Article Commitee 2022 assistant reviewer

ICFP Artifact Evaluation Commitee 2020 member

Teaching Activities

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