Teaching
Talks
Publications
News
Home
Adrian Rebola-Pardo
(he/they)
Postdoc University Assistant
Vienna University of Technology
Forsyte Research Unit
adrian.rebola (at) tuwien.ac.at
Johannes Kepler University Linz
Institute for Symbolic AI
adrian.rebola_pardo (at) jku.at
Teaching
Winter 2024
Logic
(JKU)
Model Checking
(JKU)
Computational Logics for AI
(JKU)
Summer 2024
Formal Models
(JKU)
SAT Solving
(JKU)
Seminar in AI
(JKU)
Winter 2023
Model Checking
(JKU)
Planning and Reasoning in AI
(JKU)
Seminar in Computational Engineering
(JKU)
Summer 2023
Formal Models
(JKU)
SAT Solving
(JKU)
Winter 2022
Logic
(JKU)
Model Checking
(JKU)
Summer 2022
Formal Models
(JKU)