Andras Salamon

Dr. Andras Salamon is a Research Fellow at the School of Computer Science, University of St Andrews. He focuses on constraint programming, automated model reformulation, and computational complexity. His work includes developing tools like TabID for identifying subproblems in constraint models and leveraging graph transformation engines for model exploration. He holds a PhD in Computer Science from the University of Oxford (2015).

• Education: Doctor of Philosophy in Transformations of Representation in Constraint Satisfaction, University of Oxford (2015).

His research interests span constraint specification, graph rewriting, lifted planning with constraints, and algorithmic lower bounds. Collaborations include projects on PDDL modeling challenges and game AI applications. He contributes to open-source tools and datasets, emphasizing reproducibility and robustness in computational methods.

Dr. Salamon's recent work explores the intersection of constraint programming with planning paradigms, such as the Plotting case study in game AI. His theoretical contributions include superlinear lower bounds under the Exponential Time Hypothesis, advancing foundational understanding of algorithmic limits.

He is affiliated with the Centre for Interdisciplinary Research in Computational Algebra and actively publishes in top venues like Journal of Artificial Intelligence Research and Constraints.