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
Other links ORCID

Teaching

Course number Course name Type Latest/upcoming Semester TISS link
184741 Program and System Verification VU 2025S
185A93 Formal Methods in Computer Science UE 2024W
185291 Formal Methods in Computer Science VU 2024W