Roman Kniazev

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

a photo of me

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 distributed systems, modal logics, topology, concurrency and category theory (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.