Aina Niemetz

Sr. Research Scientist, Computer Science
Stanford University

           

Publications
Talks
Tools
Awards

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

Education

Academic Service

2025

2024

2023

2022

2021

2020

2019

2018

2017