Bernhard Gstrein is a Ph.D. student at the University of Freiburg, starting in September 2022. His research focuses on the intersection of SAT solving, hardware synthesis, and machine learning, specifically on learning circuits (LUTs, AIGs).
Before his Ph.D., Bernhard completed his Master’s in Artificial Intelligence at JKU Linz from October 2019 to July 2022. He also holds a Bachelor’s in Physics from Universität Innsbruck, which he obtained from October 2015 to June 2019.
Bernhard worked as an AI Engineer/Software Developer at Robert Bosch AG in Linz from August 2019 to March 2022, primarily working on XAI.
Bernhard Gstrein, Armin Biere. Delirious Representations: Enhancing Predictive Systems with Flexible Numeric and Symbolic Domain Integration. Submitted paper at the 32nd International Workshop on Logic and Synthesis (IWLS’23).
[ paper | presentation ]