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, and since June 2017 I’m also part of the developer team of the SMT solver CVC4. I’m one of the main developers of the SMT solver Bitwuzla.

Interests

Education

Academic Service

2021

2020

2019

2018

2017