Florian Zuleger


Dr. techn. Technische Universität Wien 2011 Austria
Dissertation: Resource Bound Analysis of Imperative Programs
Mathematics Subject Classification: 68—Computer science

Advisor: Helmut Veith
Assisting Advisor: Sumit Gulwani

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Demyanova, YuliaTechnische Universität Wien2018
Pagel, JensTechnische Universität Wien2020
Pani, ThomasTechnische Universität Wien2021
Stoilkovska, IlinaTechnische Universität Wien2021

According to our current on-line database, Florian Zuleger has 4 students and 4 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 273713 for the advisor ID.