Ezio Bartocci
Professor
| Group | |
|---|---|
| Room | Office DE0324 (Show FORSYTE location) |
| Phone | +43 1 58801 18226 |
| ezio.bartocci@tuwien.ac.at | |
| Websites |
http://www.eziobartocci.com |
| Other links |
ORCID |
Teaching
| Course number | Course name | Type | Latest/upcoming Semester | TISS link |
|---|---|---|---|---|
| 184766 | Introduction to Logical Methods in Computer Science | VO | 2025S | |
| 184767 | Research Seminar LogiCS | SE | 2025S |