Adrián Rebola-Pardo
Scholar

Adrián Rebola-Pardo

Google Scholar ID: hdAQO0UAAAAJ
Postdoctoral University Assistant, TU Wien and JKU Linz
Solver certificatesSAT solvingFormal Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
120
 
H-index
7
 
i10-index
3
 
Publications
20
 
Co-authors
0
 
Contact
GitHubOpen ↗
Resume
Academic Achievements
  • Paper 'Short proofs without interference' accepted at SYNASC 2025; Co-lead on the WWTF-funded project 'Verifying Without Loss of Generality'.
Research Experience
  • Postdoc University Assistant at Vienna University of Technology, Forsyte Research Unit, and Johannes Kepler University Linz, Institute for Symbolic AI.
Education
  • PhD in Computer Science at TU Wien, Forsyte Research Unit, supervised by Georg Weissenbacher and co-supervised by Armin Biere; MSc in Computational Logic from TU Dresden and Free University of Bolzano.
Background
  • Research interests: solver certification and data extraction from proofs, especially within the context of reasoning without loss of generality in finite domains (SAT/QBF). Recently, expanding into model checking, interactive software verification, and new use cases for logic-based solvers (flexible scheduling and procedural content generation).
Miscellany
  • Worked at Microsoft Research Cambridge and the lab formerly known as NICTA.