http://localhost:1313/members/index.html In case you are interested in becoming a member, please do reach out to us, best via e-mail. Active Members Dr. Ludwig Kampel Hugo en Fri, 10 Jul 2026 18:09:47 +0300 http://localhost:1313/members/ludwig-kampel/index.html Fri, 10 Jul 2026 18:09:47 +0300 http://localhost:1313/members/ludwig-kampel/index.html Ludwig Kampel Active Member & Co-founder SBA Research Google Scholar Ludwig Kampel is co-founder of AAAM, Associate Fellow of the Institute of Combinatorics and its Applications and senior researcher at SBA Research Vienna. His research interests focus on the application of discrete mathematics to applied problems, historically centered around, but not limited to, problems of computer science - with a strong emphasis on combinatorial designs, combinatorial algorithms, and their application to software and hardware testing. http://localhost:1313/members/luiza-corpaci/index.html Fri, 10 Jul 2026 18:09:47 +0300 http://localhost:1313/members/luiza-corpaci/index.html Luiza Corpaci Active Member LinkedIn Luiza Corpaci is a Machine Learning Engineer at AMD, working on AI for verification and safety. She is currently enrolled in a Master’s program in Data Science at TU Wien, with a thesis exploring whether LLMs can explain bio-inspired neural networks. Her research background spans interpretability and explainability in AI, information theory, and environmental data science, with prior research roles at the University of Vienna and SBA Research. She is also a Research Fellow at the Supervised Program for Alignment Research, investigating value alignment in LLM collectives. http://localhost:1313/members/manuel-leithner/index.html Fri, 10 Jul 2026 18:09:47 +0300 http://localhost:1313/members/manuel-leithner/index.html Manuel Leithner Active Member SBA Research FH Salzburg Google Scholar ResearchGate Manuel Leithner is a senior information security researcher at SBA Research Vienna and team lead of the CST (Combinatorial Security Testing) team. He is additionally affiliated with the University of Salzburg as a scientific staff member and with Fachhochschule Salzburg as a researcher. His work focuses on combinatorial security testing with an emphasis on protocol, firmware, and web vulnerabilities, as well as reverse engineering and dynamic analysis. He holds BSc and MSc degrees in IT and information security from FH St. Pölten and is currently pursuing a PhD, developing methods to infer input parameter models for combinatorial testing via reverse engineering. http://localhost:1313/members/marlene-koelbing/index.html Fri, 10 Jul 2026 18:09:47 +0300 http://localhost:1313/members/marlene-koelbing/index.html Marlene Koelbing Active Member SBA Research Marlene Koelbing is a researcher at SBA Research Vienna and a Data Scientist at Spixnet. She holds a Dr. rer. nat. in Mathematics from the University of Vienna, with a dissertation on Special Aronszajn trees and Kurepa trees, and BSc and MSc degrees in Mathematics from the University of Freiburg. Her research spans set theory and mathematical logic, combinatorial testing, and data-driven modelling. Prior to her current roles she was a PostDoc at TU Wien and a research associate at the Kurt Gödel Research Center, University of Vienna. http://localhost:1313/members/michael-kompatscher/index.html Fri, 10 Jul 2026 18:09:47 +0300 http://localhost:1313/members/michael-kompatscher/index.html Michael Kompatscher Active Member Charles University Google Scholar ResearchGate ORCID Michael Kompatscher is an assistant professor at the Department of Algebra, Charles University in Prague. His research sits at the intersection of universal algebra and theoretical computer science, with a particular focus on constraint satisfaction problems, nilpotent algebras, and the complexity of equation solving. He completed his PhD at TU Wien in 2017 and has since held postdoctoral positions at the University of Oxford and Charles University.