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

Adrian Rebola-Pardo (Preferred)

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

Coworker
2022 – 2028
 
PhD Advisor
2016 – 2028
 

Expertise

SAT Solving
Present
 
QBF Solving
Present
 
Proof logging
Present