Aina Niemetz

Research Scientist, Computer Science
Stanford University

           

Publications
Talks
Tools
Awards

Awards

  Short listed for the Heinz Zemanek Award 2018 of the Austrian Computer Society (OCG) for outstanding dissertations in Computer Science

Competitions

My work in Bitwuzla, Boolector and CVC4 contributed to the following awards in competitions.

2020

  Bitwuzla at SMT-COMP 2020:  21 gold medals (details)

  CVC4 at SMT-COMP 2020:  89 gold medals (details)

2019

  Boolector at SMT-COMP 2019:  14 gold medals (details)

  CVC4 at SMT-COMP 2019:  48 gold medals (details)

2018

  Boolector at SMT-COMP 2018:  6 gold medals (details)

  CVC4 at SMT-COMP 2018:  29 gold medals (details)

2017

  Boolector at SMT-COMP 2017:  3 gold medals (details)

2016

  Boolector at SMT-COMP 2016:  3 gold medals (details)

2015

  Boolector at SMT-COMP 2015:  3 gold medals (details)

2014

  Boolector at SMT-COMP 2014:  3 gold medals (details)