Roman Kniazev (Preferred)
Roman Kniazev
Postdoc, LaBRI, University of Bordeaux
Joined
November 2024
Names
Emails
****@u-bordeaux.fr (Confirmed)
****@knzv.me (Confirmed)
Personal Links
Career & Education History
Postdoc
LaBRI, University of Bordeaux (u-bordeaux.fr)
2024 – Present
Lecturer
IRIF, Université Paris Cité (u-paris.fr)
2023 – 2024
PhD student
LIX, École Polytechnique (polytechnique.fr)
2020 – 2023
MS student
Computer Science, Ecole Normale Supérieure Paris-Saclay (ens-paris-saclay.fr)
2018 – 2020
Undergrad student
Mathematics and Mechanics, Novosibirsk State University (nsu.ru)
2014 – 2018
Advisors, Relations & Conflicts
Expertise
Program synthesis
Present
Modal logic
Present
Reinforcement learning
Present
Category theory
Present
Publications
Co-Authors
- Arka Ghosh
- Guillermo A. Pérez
- Jérémy Ledent
- Nathanaël Fijalkow
- Pierre Vandenhove
- Sergio Rajsbaum
- Éric Goubault