Talks

• Alpine Verification Meeting - AVM23, Prague, Czech Republic, September 2023
• SMT Workshop - SMT23, Rome, Italy, July 2023
• NASA Formal Methods Symposium - NFM23, Houston, USA, May 2023
• Automated Technology for Verification and Analysis - ATVA22, Beijing, China (remotely), October 2022
• Alpine Verification Meeting - AVM22, Frauenchiemsee, Germany, September 2022
• New Perspectives in Symbolic Computation and Satisfiability Checking - Dagsthul Seminar 22072, Germany, February 2022