Aina Niemetz

Research Scientist, Computer Science
Stanford University

           

Publications
Talks
Tools
Awards

Biography

I’m a Research Scientist at Stanford University in the Department of Computer Science in Clark Barrett’s group. Prior to that, I was a postdoctoral researcher at Stanford University in the same group. 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.

Since June 2012, I’m one of the main developers of the SMT solver Boolector. Since June 2017 I’m part of the developer team and one of the senior technical leads of the SMT solvers CVC4 and its successor cvc5. I’m one of the main developers of the SMT solver Bitwuzla.

Interests

Education

Academic Service

2021

2020

2019

2018

2017