Scholar
Florian Zuleger
Google Scholar ID: UckwzkEAAAAJ
Associate Professor, TU Wien
Citations & Impact
Citations
1,086
H-index
18
i10-index
31
Publications
20
Co-authors
24
list available
Publications
Resume (English only)
Academic Achievements
- Teaches a variety of courses including but not limited to:
- - Research Seminar LogiCS
- - Program and System Verification
- - Doctoral & Master Students Seminar
- - Introduction to Logical Methods in Computer Science
- - Project in Computer Science 2
- - Project in Computer Science 1
- - Bachelor Thesis supervision
- - Program Analysis
- - Seminar in Computer Science (Formal Methods in Systems Engineering)
- - Seminar in Logic (Formal Methods in Systems Engineering)
- - Formal Methods in Systems Engineering
- - Seminar Formal Methods
- - Semantics of Programming Languages
Research Experience
- Professor at the Institute of Logic and Computation, Vienna University of Technology.
Miscellany
- Office: HG0309
- Phone: +43 1 58801 18449
- Email: florian.zuleger@tuwien.ac.at
- Other links: ORCID
