|
|||||||
|
|||||||
I am a Senior
Researcher-Lecturer working since 2015 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 [Homing
Plus project on fixpoint logics]. Even
before, I was a Visiting Researcher at the [ Computer Science
Department] of
the UCSC, and later a Post-Doc at the [Information
and Language Processing Systems group] of the University of
Amsterdam.
Latest works:
|
|||||||
|
|||||||