Adrian Rebola Pardo

Adrian Rebola Pardo is a researcher at the Institute for Symbolic Artificial Intelligence at Johannes Kepler University Linz (Austria). His work focuses on computational logic, formal verification, and SAT solving, with recent contributions to quantified Boolean formulas and proof systems optimization. He is actively involved in the Cluster of Excellence 'Bilateral Artificial Intelligence' (2024-2029) and teaches courses like 'Computational Logic for AI' and 'Formal Models in AI'.

• Research Interests: Symbolic AI, computational logic, formal verification, SAT solving, quantified Boolean formulas, and algorithm optimization
• Recent Article Trends: Publications focus on quantifier shifting techniques, proof complexity reduction, and DRAT proof system improvements
• Academic Activities: Speaker at multiple international conferences including IJCAR 2024 and SAT 2023