Since February 2015, I am working at the Swiss AI Lab IDSIA.
Before that, I was Assistant Professor at the Informatics Institute of the University of Warsaw, where I was leading a two years Homing Plus project on the expressiveness of fixpoint logics.

My new webpage