Adrian Rebola-Pardo (Preferred)
Adrian Rebola-Pardo
Postdoc, Institute for Logic and Computation, Technische Universität Wien
Postdoc, Institute for Symbolic Artificial Intelligence, Johannes Kepler Universität Linz
Joined
July 2025
Names
Emails
****@tuwien.ac.at (Confirmed)
****@jku.at (Confirmed)
Personal Links
Career & Education History
Postdoc
Institute for Logic and Computation, Technische Universität Wien (tuwien.ac.at)
2022 – 2028
Postdoc
Institute for Symbolic Artificial Intelligence, Johannes Kepler Universität Linz (jku.at)
2022 – 2028
PhD student
Institute for Logic and Computation, Technische Universität Wien (tuwien.ac.at)
2016 – 2022
Advisors, Relations & Conflicts
Expertise
SAT Solving
Present
QBF Solving
Present
Proof logging
Present