Chair of Computer Architecture

University of Freiburg

Bernhard Gstrein Publications Talks

Bernhard Gstrein

PhD Student

AddressBernhard Gstrein
Technische Fakultät
University of Freiburg
Georges Köhler Allee, Gebäude 51
79110 Freiburg im Breisgau
OfficeBuilding 51
(map)Room 01..031
+49 761 203 8148

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.



Bernhard Gstrein, Martina Seidl, Armin Biere. Tuning the Learning of Circuit-Based Classifiers. (Master’s Thesis)
[ paper | presentation ]


Bernhard Gstrein, Helmut Ritsch. Cavity QED with cold particles. (Bachelor’s Thesis)
[ paper | presentation]



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 ]


Bernhard Gstrein, Armin Biere. Tuning the Learning of Circuit-Based Classifiers. Student forum with poster session at FMCAD22.
[ report | presentation ]