## About me

I am a postdoc working on Mai Gehrke's ERC project DuaLL in the Automata team of LIAFA at Université Paris Diderot - Paris 7. Before joining LIAFA, I worked in the Intelligent Systems group at Radboud University Nijmegen and I was a researcher on the ANR project PiCoq in the Plume team of École Normale Supérieure Lyon. Previously I had various positions including a fixed-term lectureship and a research associate position at the University of Leicester.

Here is a my CV.

## Publications (see also dblp)

### In journals

*A general account of coinduction up-to,*

F. Bonchi, D. Petrisan, D. Pous, J. Rot, Acta Informatica, (2016)

[link] [abstract] [bibtex]*Relation lifting, with an application to the many-valued cover modality,*

M. Bílková, A. Kurz, D. Petrisan, J. Velebil, Logical Methods in Computer Science 9(4), (2013)

[link] [abstract] [bibtex]*Nominal Coalgebraic Data Types with Applications to Lambda Calculus,*

A. Kurz, D. Petrisan, P. Severi, F. de Vries, Logical Methods in Computer Science 9(4), (2013)

[link] [abstract] [bibtex]*On Universal Algebra over Nominal Sets.*

A. Kurz, D. Petrisan, Mathematical Structures in Computer Science, Volume 20 (2): 285-318 (2010).

[link] [abstract] [bibtex]*Presenting Functors on Many-Sorted Varieties and Applications.*

A. Kurz, D. Petrisan, Information and Computation. 208(12): 1421-1446 (2010)

[link] [abstract] [bibtex]

### In conferences

*The Schutzenberger Product for Syntactic Spaces. ,*

M. Gehrke, D. Petrisan, L. Reggio, ICALP 2016

[link] [abstract]*Lax Bialgebras and Up-To Techniques for Weak Bisimulations,*

F. Bonchi, D. Petrisan, D. Pous, J. Rot, CONCUR 2015

[abstract]*Nominal techniques for variables with interleaving scopes,*

D. Ghica, M.J. Gabbay, D. Petrisan. CSL 2015-
*Nominal Kleene Coalgebra,*

D. Kozen, K. Mamouras, D. Petrisan, A. Silva, ICALP 2015

[abstract] [long version] -
*Approximation of Nested Fixpoints -- A Coalgebraic View of Parametric Dataypes,*

A. Kurz, A. Pardo, D. Petrisan, P. Severi and F-J. de Vries, CALCO 2015

[abstract] -
*Coinduction up-to in a fibrational setting,*

F. Bonchi, D. Petrisan, D. Pous, J. Rot, CSL-LICS 2014

[link] [arxiv link] [abstract] [bibtex] -
*An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.*

A. Kurz, D. Petrisan, P. Severi, F. de Vries, CMCS 2012.

[link] [abstract] [bibtex] *Stone duality for nominal Boolean algebras with `new'.*

M. Gabbay, T. Litak, D. Petrisan, CALCO 2011.

[link] [abstract] [bibtex]-
*Relation Liftings on Preorders.*

M. Bilkova, A. Kurz, D. Petrisan, J. Velebil, CALCO 2011.

[link] [abstract] [bibtex] *A Duality Theorem for Real C* Algebras.*

A.M. Moshier, D. Petrisan, CALCO 2009.

[link] [abstract] [bibtex]-
*Functorial Coalgebraic Logic: The case of many-sorted varieties.*

A. Kurz, D. Petrisan, CMCS 2008.

[link] [abstract] [bibtex]

### Preprints

*Algebraic Theories over Nominal Sets,*

A. Kurz, D. Petrisan, J. Velebil.

[arxiv link] [abstract]

### Thesis

My PhD thesis *Investigations into Algebra and Topology over
Nominal Sets* is available here.