Roman Kniazev
Postdoctoral Researcher at Laboratoire Bordelais de Recherche en Informatique (LaBRI)
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolRoman Kniazev is a postdoctoral researcher based in Paris with 11 years of experience at the intersection of structured reasoning, neuro-symbolic methods, and reinforcement learning. He completed a doctorate in computer science at École Polytechnique after a master's at ENS Paris-Saclay and now applies formal methods to improve RL and reasoning systems at LaBRI. His work blends theoretical rigor with practical experimentation, reflecting a knack for turning formal insights into trainable models and algorithms. Previously he taught at IRIF and has a track record of mentoring students while advancing research directions in neuro-symbolic integration. Colleagues note his ability to navigate both deep theory and reproducible implementation, making him a bridge between foundational research and applied machine learning.
11 years of coding experience
Master's degree, Computer Science, Master's degree, Computer Science at École normale supérieure Paris-SaclayDoctor's Degree, Computer Science, Doctor's Degree, Computer Science at École Polytechnique
Russian, English, FrenchProgramming languages (2)
Github contributions (5)
kameronton/adamant
Sep 2015 - Dec 2015
Contributions:28 pushes, 1 branch in 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.