Sorin Stratulat

Centre National de la Recherche Scientifique

Papers

Total Citations

H-Index

About

Sorin Stratulat is a prominent researcher in artificial intelligence and formal verification, with key contributions spanning automated reasoning, constraint solving, and AI-based robotics. His work on the European AiRobo project, a multinational partnership involving universities from France, Germany, Greece, Hungary, and Romania, aims to elevate academic competence in AI-driven robotics—a testament to his leadership in bridging theoretical foundations with practical applications. Stratulat’s research has significantly advanced the field of automated deduction, particularly through his development of the "cycle-based" induction method for proving properties of recursive systems, which has influenced theorem proving and program verification. With over 2,000 citations across his career, his most cited papers include foundational works on the "Generalized Rewrite Theories" and "Automated Induction with Constraint Solving," which have shaped modern approaches to formal methods. Notable achievements include his role as a principal investigator in multiple EU-funded projects and his service on program committees for top-tier conferences like CADE and IJCAR. Stratulat’s work continues to inspire researchers seeking rigorous, scalable techniques for reasoning about complex systems.