Adrian Rebola Pardo
PostDoc researcher
| Group | Rigorous Systems Engineering |
|---|---|
| Room | Office HE0316 (Show FORSYTE location) |
| Phone | +43 1 58801 740074 |
| 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 | 2026S | |
| 192164 | Formal Methods in Systems Engineering | VU | 2025W |