Daniela Petrisan is a Postdoctoral Researcher at Université Paris Denis Diderot - Paris 7. Previously, she worked at Radboud University in Nijmegen, at École Normale Supérieure de Lyon and at the University of Leicester, where she completed her PhD in 2011 under the supervision of Alexander Kurz.  Her research interests cover various topics in theoretical computer science and include semantics of programming languages, concurrency, coalgebra theory and nominal techniques. In Paris, she works on applications of Stone type dualities in automata theory and logic.