Biography

I’m a Senior Research Scientist at Stanford University in the Department of Computer Science in Clark Barrett’s group, affiliated with the Stanford Center for Automated Reasoning. I received my PhD from Johannes Kepler University Linz (Austria), supervised by Armin Biere within the National Research Network (NFN) on Rigorous Systems Engineering (RiSE).

My research focus is on various aspects of Satisfiability Modulo Theories (SMT), in particular procedures for bit-vectors, arrays and uninterpreted functions. Other areas of interest include Boolean satisfiability (SAT) and automated testing and debugging techniques, in particular in the context of solver engineering.

I’m one of the main developers (and senior technical leads) of the SMT solvers Bitwuzla, Boolector and cvc5. I joined the development team of the SMT solver CVC4 in June 2017, and served as one of its senior technical leads until it was succeeded by cvc5.

Interests

• Satisfiability Modulo Theories (SMT)
• Propositional satisfiability (SAT)
• Automated Reasoning
• Automated Testing and Debugging Techniques

Education

• Doctor of Engineering Sciences (Dr. techn.) in Computer Science
  2017, Johannes Kepler University, Linz, Austria
• MSc (Dipl.-Ing.) in Computer Science
  2012, Johannes Kepler University, Linz, Austria
• BSc in Computer Science
  2010, Johannes Kepler University, Linz, Austria

Academic Service

2025

• SMT Steering Committee (elected 2023-2025)
• TACAS 2025 (PC member)

2024

• SMT Steering Committee (elected 2023-2025)
• ETAPS 2024 (SCP Best Tool Paper Award Committee)
• ATVA 2024 (PC co-chair)
• CAV 2024 (PC member)
• IJCAR 2024 (PC member)
• SAT 2024 (PC member)
• TACAS 2024 (PC member)
• SMT 2024 (PC member)
• POS 2024 (PC member)

2023

• SMT Steering Committee (elected 2021-2023, 2023-2025)
• ACM Transactions on Computational Logic (TOCL) (Reviewer)
• ETAPS 2023 (SCP Best Tool Paper Award Committee)
• CAV 2023 (PC member)
• CADE 2023 (PC member)
• SAT 2023 (PC member)
• TACAS 2023 (PC member)
• FROCOS 2023 (PC member)
• SMT 2023 (PC member)
• POS 2023 (PC member)

2022

• SMT Steering Committee (elected 2021-2023)
• ACM Transactions on Computational Logic (TOCL) (Reviewer)
• CAV 2022 (PC member)
• FMCAD 2022 (PC member)
• SMT 2022 (PC member)
• POS 2022 (PC member)
• VSTTE 2022 (PC member)

2021

• SMT Steering Committee
  (ex-offizio member as SMT Workshop rep., elected 2021-2023)
• ATVA 2021 (PC member)
• CAV 2021 (PC member)
• FROCOS 2021 (PC member)
• POS 2021 (PC member)
• PxTP 2021 (PC member)
• SMT 2021 (Program co-chair)
• VSTTE 2021 (PC member)

2020

• LPAR23 (2020) (PC member)
• SAT 2020 (PC member)
• TACAS 2020 (PC member)
• POS 2020 (PC member)
• SMT 2020 (PC member)
• CAV 2020 (AEC member, Co-organizer of Logic Lounge at CAV)

2019

• SMT Steering Committee (ex-offizio member as SMT-COMP rep.)
• SMT Competition 2019 (Co-chair)
• SAT 2019 (PC member)
• VSTTE 2019 (PC member)
• CAV 2019 (AEC member)

2018

• SMT Steering Committee (ex-offizio member as SMT-COMP rep.)
• Journal of Automated Reasoning (JAR) (Reviewer)
• SAT/SMT/AR Summer School 2018 (Speaker)
• SMT Competition 2018 (Co-organizer)
• SMT Workshop 2018 (PC member)
• CAV 2018 (AEC member)

2017

• SMT Workshop 2017 (PC member)