Joachim Parrow

Professor at Department of Information Technology; Division of Computing Science

Mobile phone:
+46 70 573 33 24
E-mail:
Joachim.Parrow@it.uu.se
Visiting address:
Hus 10, Regementsvägen 10
Postal address:
Box 337
751 05 UPPSALA

Download contact information

Short presentation

Professor emeritus in Computing Science

RETIRED

For more information see http://user.it.uu.se/~joachim/

Biography

Born 25 Dec. 1956; Swedish Citizen, Married, three children. BSc in Computer Science, Uppsala University 1980; PhD in Computer Science, Uppsala University 1986 (Thesis title: Fairness properties in process algebra), Docent 1990.

Retired since 1 January 2026.

From May 2010 Joachim Parrow was professor in Computing Systems (Datalogi) at the department of Information Technology at Uppsala University, and 2017-2023 he was Dean of Mathematics and Computer Science. 2001--2010 he was professor of Computer Systems at the same department. 2005--2008 he was member of the faculty board and Dean of Education, and 2002--2005 he was Head of Education.

During 1994-2001 he was professor in Distributed Systems at the Royal Institute of Technology (KTH), Stockholm. There he was a member of Centrala Tjänsteförslagsnämnden, the committee for promotions of lecturers to professors. From April 1997 until October 2000 he was Prefekt (Head of Department), and 1997-1999 a member of the Scientific Council of the School of Electrical Engineering and Information Technology at KTH.

During 1986-1994 he was employed as a researcher at the Swedish Institute of Computer Science, leading the research group on Formal Design Techniques.

During 1986-1989 he spent in all 18 months at the University of Edinburgh, working with Robin Milner.

Research

Joachim Parrow works in the general area of formal methods for concurrent and distributed systems, mainly process algebraic formalisms and related logics and their applications in automated tools for formal verification. He began the development of the Concurrency Workbench (an automated verification tool for CCS) in 1986, and collaborated with Robin Milner and David Walker in developing the pi-calculus (a calculus of mobile processes) 1987-1989. Recent research has focused on developing and applying the pi-calculus, notably in the Psi- calculi and in formalising calculi in the theorem prover Isabelle, and on nominal modal logics for a general kind of transition systems.

Joachim Parrow

Publications

Recent publications

All publications

Articles in journal

Chapters in book

  • An introduction to the pi-calculus

    Parrow, Joachim

    Part of Handbook of Pocess Algebra, p. 479-543, Elsevier, 2001

  • Trios in Concert

    Parrow, Joachim

    Part of Proof, Language and Interaction, Essays in Honor of Robin Milner, p. 621-637, MIT Press, 2000

Conference papers

Reports

FOLLOW UPPSALA UNIVERSITY ON

Uppsala University on Facebook
Uppsala University on Instagram
Uppsala University on Youtube
Uppsala University on Linkedin