Techniques for NRA in SMT

May 2021, Automated Reasoning in the Class, Training on SMT Solving

Techniques for NRA

October 2020, Software Research Lunch, Stanford University, USA

Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings

July 2020, International Congress on Mathematical Software, TU Braunschweig, Germany

Cylindrical Algebraic Decomposition for Nonlinear Arithmetic Problems

March 2020, RWTH Aachen University, Germany

On the proof complexity of MCSAT

July 2019, Satisfiability Checking and Symbolic Computation, Universität Bern, Switzerland

SMT, CAD & Applications

October 2018, Research meeting, RWTH Aachen University, Germany

Incremental CAD

July 2018, International Congress on Mathematical Software, University of Notre Dame, USA

Computer Algebra and Computer Science

June 2018, Applications of Computer Algebra, University of Santiago de Compostela, Spain

Solving Pseudo-Boolean Constraints with SMT

March 2018, Siemens PLM Software, Leuven, Belgium

Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving

July 2017, Satisfiability Checking and Symbolic Computation, University of Kaiserslautern, Germany

Zephyrus2: On the Fly Deployment Optimization using SMT and CP Technologies

November 2016, Symposium on Dependable Software Engineering, Chinese Academy of Science, Beijing, China

Generalised Branch-and-Bound

September 2016, Computer Algebra in Scientific Computing in Bucharest, Romania

Recent trends in SMT solving

July 2016, Analytical Solutions and Reasoning group at University of Oslo, Norway

SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving

November 2015, Symbolic Computation and Satisfiability Checking, Dagstuhl Seminar 15471, Dagstuhl, Germany

Using Cylindrical Algebraic Decomposition in Satisfiability Modulo Theories

June 2014, Joint Workshop of the German Research Training Groups in Computer Science, Dagstuhl, Germany

Satisfiability Modulo Real Arithmetic - SMT-Solving with CAD and Gröbner Bases

March 2014, Joint Workshop of Research Training Groups PUMA and AlgoSyn, Bonn, Germany