Roman Kniazev

I am an ATER (aka teaching assistant) at Université Paris Cité, and do my research at IRIF.

News! I have defended my thesis! The manuscript will be available soon.

Before, I was a PhD student at LIX, École Polytechnique and at LMF, Université Paris-Saclay, where I worked with Eric Goubault and Jean Goubault-Larrecq.

I am interested in modal logics, directed topology, concurrency, category theory and distributed protocols (the order is random).

You can contact me by sending an e-mail to: roman (AT)

Here is my CV.

When I don’t work on this blurry border between math and computer science, I do some film photography.