Jetty Kleijn

Jetty Kleijn is an associate professor at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University, the Netherlands, and a long time visiting fellow of the School of Computing of Newcastle University, UK. In 2015 she was a visiting professor at the Faculty of Mathematics and Computer Science of Nicolaus Copernicus University, Torun, Poland. She is the head of  the Theory Group of LIACS and is also affiliated with LIACS' Bioinformatics Group.
Her research areas are the theory of concurrency, bio-inspired computing and the modelling of biological systems, and theory of automata and formal languages. Currently, her research focuses on the modeling of concurrent and distributed systems with understanding and capturing concurrency phenomema in the behaviour of such systems as its underlying aim. Petri nets provide a suitable framework for this research but other models are also considered. Themes are causality, order structures, formal models inspired by biochemical processes, modeling of biological processes, and composition of and collaboration in multi-component systems.

Publications - Leiden University
Publications - LIACS Theory

e-mail: h.c.m.kleijn (at)
tel. +31.71.5277064

Member (head) of LIACS - Theory group

Member of LIACS - Bioinformatics group

Chair LIAXX (women at LIACS) committee
On November 16, 2018 LIAXX organised together with VHTO the 2nd Informatics Ladies Day at LIACS.
The first Informatics Ladies Day took place on November 17, 2017.

Chair Education Committee Bachelor Informatica (until November 2018)

Organiser, with Marloes van der Nat, of the special event on December 15, 2017,
honouring Professor Grzegorz Rozenberg on the occasion of his 75th birthday:
Many Facets of Computation: An Insight in Current Trends where he was appointed
Knight in the Order of the Netherlands Lion.

Teaching 2018-2019
Bachelor: Theory of Concurrency.
Master: BioModelling and Petri Nets (with Fons Verbeek).

Teaching in previous years:
Studievaardigheden I&E (2014-2015)
Theory of Concurrency (2013-14, 2014-15, 2015-2016, 2016-2017, 2017-2018)
Bachelorklas (2013-14)
Bio-Modeling and Petri Nets (2013-14, 2014-15, 2015-2016, 2017-2018)

Last update: May 7, 2019