Team

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 is in the final sprint to finish her PhD under supervision from Prof. Martina Seidl at the Institute for Symbolic AI. She is a passionate researcher, teacher, manager, and organizer and is always in close contact with the happenings at 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 is currently finishing up his Master’s thesis under supervision from Max Heisinger.