Romain Sidhoum

About me

I am a PhD student in automated reasoning under the supervision of David Delahaye and Simon Robillard at the University of Montpellier, France.
I'm interested in automated reasoning and developing Pgeon, a tool for automatically generating theorem provers from a description of their system (syntax, rules, strategy).

Publications

• Pgeon: Generating Tableau-Based Provers from Declarative Specifications of Logical Calculi
  Romain Sidhoum, Simon Robillard & David Delahaye (July, 2026)
  In Automated Reasoning. 13th International Joint Conference on Automated Reasoning
  Publisher: Springer
• A Strategy Language for Controlled Proof Search
  Romain Sidhoum, Simon Robillard & David Delahaye (July, 2026)
  In Proceedings of the 21st Workshop on Logical Frameworks and Meta Languages: Theory and Practice
  Publisher: Open Publishing Association
• Teaching Automated Deduction: An Implementation-Based Approach with Maude
  Romain Sidhoum & Simon Robillard (August, 2025)
  At the 14th International Workshop on Theorem Proving Components for Educational Software
  

Teaching

• IP, Protocoles et communications (Computer networks)
• Programmation C (C programming)
• Programmation fonctionnelle (Functional programming)
• Programmation web (Web programming)
• Systèmes (Operating systems)
• Utilisation de systèmes informatiques (Computer systems fundamentals)

• Vérification (Software verification)