Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Associate Professor, Senior Lecturer, Reader |
|---|---|
| Research fields | Computer Science |
| Keywords | Termination analysis, Static analysis, Abstract interpretation, Program semantics, Program verification |
Current contact address
| Country | Italy |
|---|---|
| City | Verona |
| Institution | Universita degli Studi di Verona |
| Institute | Computer Science |
Host during sponsorship
| Prof. Dr. Jürgen Giesl | Lehrstuhl für Informatik II, Rheinisch-Westfälische Technische Hochschule Aachen (RWTH), Aachen |
|---|---|
| Start of initial sponsorship | 01/05/2011 |
Programme(s)
| 2011 | Humboldt Research Fellowship Programme for Experienced Researchers |
|---|