Adrian Rebola Pardo

PostDoc researcher

Group Rigorous Systems Engineering
Room Office HE0316 (Show FORSYTE location)
Phone +43 1 58801 740074
Email adrian.rebola@tuwien.ac.at
Websites https://arpj-rebola.github.io
Other links ORCID
GitHub
ORCID
Google Scholar

Teaching

Course number Course name Type Latest/upcoming Semester TISS link
184741 Program and System Verification VU 2025S