Competitive Interactive Certification for Automated Reasoning

• Applicants: Professor Dr. Javier Esparza; Professor Dr. Rupak Majumdar
• Subject Area: Theoretical Computer Science
• Term: since 2026
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 568501586

No abstract available

• DFG Programme: Research Grants