Joachim Parrow Home Page

Professor emeritus i datalogi
Retired, Professor in Computing Science

Videos

(In Swedish) Föreläsning vid doktorspromotionen 25 maj, Uppsala universitet (2022)

A playlist about our results on nominal transition systems and logics (2019).

The pi-calculus: Origin and recent developments (2012).

Other

My Google scholar page.
Here is my KTH inauguration, in Swedish.

Here I play the piano!

Play the game of Synchronous Chess!
Or at least some Gomoku .
Or play with Complex Numbers!
Or learn to tow a trailer!