Igor Walukiewicz
DR, University of Bordeaux
Igor Walukiewicz is a directeur de recherche at CNRS, France. He received his PhD
from Warsaw University in 1994, and two habilitation degrees from the University of
Warsaw in 2001, and University of Bordeaux in 2003. In 1994-1996 he was a postdoc researcher at BRICS, Aarhus University. Then he was a lecturer at the Warsaw University until joining CNRS in 2001. In 2003 he was awarded CNRS bronze
medal. Igor Walukiewicz's is interested in verification, infinite state systems, timed systems, automata theory, logic, and concurrency.