I am currently a post-doc at LaBRI, working with Nathanaël Fijalkow on Safe AI through formal methods.
In 2023-2024, I was an ATER (aka teaching assistant) at Université Paris Cité, doing my research at IRIF.
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 reinforcement learning, topology and category theory (the order is not random).
The best way to contact me is by sending an e-mail to: roman (AT) knzv.me
Here is my (not yet updated) CV.
I do some film photography, see my instagram. This is how I look like.
