Bernhard Gstrein
PhD Student
 |
|
Biographical Sketch
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.
Publications
2022
Bernhard Gstrein, Martina Seidl, Armin Biere. Tuning the Learning of Circuit-Based Classifiers. (Master’s Thesis)
[ paper | presentation ]
2019
Bernhard Gstrein, Helmut Ritsch. Cavity QED with cold particles. (Bachelor’s Thesis)
[ paper | presentation]
Talks
2023
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 ]
2022
Bernhard Gstrein, Armin Biere. Tuning the Learning of Circuit-Based Classifiers. Student forum with poster session at FMCAD22.
[ report | presentation ]