Stéphane Demri

• Automated Reasoning
• Temporal Logics in Computer Science
• Temporal Logics in Computer Science - Classical Theory