Biography

I am a PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, within the Algorithms and Complexity group under the supervision of Prof. Stefan Szeider. I am particularly interested in constraint satisfaction solving, neurosymbolic and solver-guided AI, automated algorithm selection/design. More recently, I have been exploring AI-assisted mathematical discovery, including the integration of large language models with symbolic solvers and formal verification.

Research Visits

• National Institute of Informatics (NII), Tokyo, Japan, hosted by Ryo Kuroiwa, Sep. – Dec. 2026.
• Cornell University, Ithaca, USA, hosted by Carla P. Gomes, Oct. 2025 – Apr. 2026.
• Universitat Politècnica de Catalunya (UPC), Barcelona, Spain, hosted by Carlos Ansótegui, Jun. – Jul. 2025.
• University of Lleida (UdL), Lleida, Spain, hosted by Carlos Ansótegui, Apr. – May 2025.

Competitions

• 2nd Place in the exact track of “PACE 2026 Challenge: Maximum-Agreement Forest” (with Johannes Varga and Enrico Iurlano), IPEC 2026, Sep. 2026.
• 1st Place in “The Benchmark Design Challenge for Continuous Optimization” of GECCO 2026, Jul. 2026.
• 2nd Place in “Space Optimisation Competition (SpOC 4): Space Logistics” of the European Space Agency (ESA) at GECCO 2026, Jul. 2026.
• 2nd Prize in “Competition on Seeking Multiple Optima in Dynamic Environment” of IEEE WCCI 2022, Jul. 2022.