Teaching Talks Publications Home

Adrian Rebola-Pardo
(he/they)

Postdoc University Assistant

Vienna University of Technology
adrian.rebola (at) tuwien.ac.at

Johannes Kepler University Linz
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)