Adrian Rebola Pardo

Adrian Rebola Pardo is a Researcher at the Institute of Computer Engineering (E192-04) within the Faculty of Informatics at TU Wien. His work focuses on formal methods, automated reasoning, and SAT solving, with an emphasis on proof theory and verification. He holds a PhD in Computer Science from TU Wien (2021), where he developed interference-based proof systems for SAT solvers.

**Education**:

• PhD in Computer Science, TU Wien (2021)

**Research Interests**:
His research centers on advancing SAT solving techniques, proof complexity, and formal verification. Key areas include quantified Boolean formulas, DRAT proof systems, and efficient proof generation. His work intersects computational logic and theoretical computer science, with applications in automated theorem proving and verification frameworks.

**Grants & Projects**:

• LCS Project (2017–2025): Interpolants and Interference
• BITVECTOR Project (2016–2020): Exploring SAT refutation verification techniques

**Advising**: Supervised Jakob Altmanninger's 2019 diploma thesis on SAT proof generation and DRAT checking.

**Labs/Teams**: Member of the Formal Methods in Systems Engineering group at TU Wien.