Adrian Rebola-Pardo
(he/they)
(he/they)
Postdoc University Assistant
adrian.rebola (at) tuwien.ac.at
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)