Max finished his PhD in 2024 under supervision from Prof. Martina Seidl at the Institute for Symbolic AI in the Johannes Kepler University Linz. He contributed novel ideas to the research community and built many tools to encode, solve, and benchmark logical formulas, as he also describes in his thesis. He is always passionate to solve problems in his research and even more passionate about bringing it into industry, founding the OptiKonf FlexCo in 2025.

Max built the core technology behind our cutting-edge Symbolic Platform and our Symbolic Configurator. He is always on the look-out for new problems that may be nicely solvable using symbolic techniques.

Simone finished her PhD in 2026 under supervision from Prof. Martina Seidl at the Institute for Symbolic AI at Johannes Kepler University Linz.
The focus of the PhD was on generating and manipulating logical formulas.

Simone is now focusing on testing the software, on customer outreach and the organizational parts of OptiKonf.

Finn Waidhofer studied Computer Science at JKU Linz and specialized in the Computational Engineering master track. He worked together with Max on a research project at the Institute for Symbolic AI and, after the project ended, continued on in the new OptiKonf startup to build the systems he researched. He wrote his Master’s Thesis Component-oriented optimization of SAT encodings under Max’ supervision.