Prof. Dr. Nicola Fausto Spoto

Profil

Derzeitige Stellung	Professor W-2 und Äquivalente
Fachgebiet	Informatik
Keywords	Termination analysis, Static analysis, Abstract interpretation, Program semantics, Program verification

Aktuelle Kontaktadresse

Land	Italien
Ort	Verona
Universität/Institution	Universita degli Studi di Verona
Institut/Abteilung	Computer Science

Gastgeber*innen während der Förderung

Prof. Dr. Jürgen Giesl	Lehrstuhl für Informatik II, Rheinisch-Westfälische Technische Hochschule Aachen (RWTH), Aachen
Beginn der ersten Förderung	01.05.2011

Programm(e)

2011	Humboldt-Forschungsstipendien-Programm für erfahrene Forschende