Leiden University Leiden Institute for Advanced Computer Science (LIACS)
Niels Bohrweg 1
Leiden CA, 2333 The Netherlands
DNA computing; theory of concurrent systems, in particular theory of Petri nets, theory of transition systems, and theory of traces; theory of graph transformations; formal language and automata theory; mathematical structures useful in computer science, in particular theory of 2-structures; Computer Supported Cooperative Work.
MS, Technical University of Warsaw, Poland; PhD, Polish Academy of Sciences