Personenprofil

Associate Prof. Dipl.-Math. Dr.techn.

Florian Zuleger

Telefon +43 1 58801 18449

E-Mailflorian.zuleger@tuwien.ac.at

Zugeordnet

E192-04

Visitenkarte

https://orcid.org/0000-0003-1468-8398

Forschungsbereich

Name	Leitung/Mitglied
Forschungsbereich Formal Methods in Systems Engineering	Mitglied

Profil

Forschungsprofil (Deutsch):

Automatische Methoden zur Terminations- und Resourcenverbrauchsanalyse, Verifikation von Programmen mit dynamischen Datenstrukturen und eingebetteten Datenbankabfragen, Parametrisierte Verifikation, Automatische Feedbackgenerierung für einfache Programmierprobleme

Forschungsprofil (Englisch):

automated methods for termination and resource-bound analysis,

verification of programs with dynamic data structures and embedded database-queries, parameterized verification, automated feedback generation for introductory programming assignments.

Publikationen:

Publikationsliste

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
Verifikation	Verification
Programmanalyse	Program Analysis
Formale Methoden	Formal Methods
Automatentheorie	Automata Theory
Logik in der Informatik	logic in computer science

TUW Forschungsschwerpunkte

Forschungsschwerpunkt	Forschungsfeld	Schlagwörter	Prozent
Information and Communication Technology	Computational Intelligence	Grundlagen von Informationssystemen, Computational Logic und automatische Deduktion, Logik, Spezifikation und Wissensrepräsentation, Advanced Information Integration, Hard- und Software Verifikation (CAV), Semantic Web und Intelligente Agenten, Algorithmen, Komplexität und Optimierung, Natural Computing	100

Fakultätsschwerpunkte

Fakultätsschwerpunkt	Prozent
Logic andComputation	100

Fachgebiete nach Statistik Austria

Code	Fachgebiet(Deutsch)	Fachgebiet(Englisch)
1106	Formale Sprachen	Formal languages
1108	Informatik	Informatics
1111	Logik	Logic
1140	Software-Engineering	Software engineering

Referenzprojekte

Titel	Förderprogramm	Webpage	Laufzeit von	Bis
National, FWF - Der Wissenschaftsfonds
Rigorous Systems Engineering		www.arise.or.at	01.03.2015	28.02.2019
National, WWTF - Wiener Wissenschafts- und Technologiefonds
Automated Program Analysis for Bounds on Resource Consumption	ICT		01.01.2013	31.12.2016
TUW-intern, TU Wien
Program Analysis for Automated Liveness Verification of Distributed Algorithms			01.05.2015	30.04.2018

Internationale Auszeichnungen

Verleihende Organisation	Land	Programm	Funktion	Name	Von	Bis	Webseite	Projekt ID
andere	Italien (Südtirol)	Best Paper Award	PRIMA 2015 - 18th International Conference on Principles and Practice of Multi-Agent Systems	Verication of Asynchronous Mobile-Robots in Partially-Known Environments	26.10.2015