Tanja Schindler

Tanja Schindler is a researcher in computer science, currently affiliated with the University of Liège, Belgium. Previously, she was part of the research group at the University of Freiburg, Germany, where she focused on Satisfiability Modulo Theories (SMT) solving and interpolation techniques. Her work bridges formal methods and automated reasoning, particularly in handling quantified formulas and verification challenges. She holds a PhD from the University of Freiburg (2022) titled 'SMT Solving, Interpolation, and Quantifiers'.

Her research interests include formal verification, automated reasoning, and the development of tools like SMTInterpol for practical applications in software verification. Notable contributions include advancements in interpolation techniques for infinite-state systems and efficient handling of array theories in SMT solvers.