The group of Formal Methods in Verona
.... a joke from my students in Academic Year 1999-2000.
We are interested in applying formal methods, in particular abstract interpretation, to the analysis, verification, specification and development of dynamic systems. The key points are:
- Scientific content: Programming is a science!
- Usefulness: Papers should (apparently) provide not only academic career advances
- Aesthetic: Nice mathematics is always behind nice science
- Direction: Always start from the source and go ahead
Currently in the group (a subset of the SPY Lab) | |||
---|---|---|---|
Roberto Giacobazzi |
Professor |
||
Mila Dalla Preda |
PhD Student |
||
Isabella Mastroeni |
Assistant Professor |
||
Alessio Merlo |
PhD Student |
||
Enrico Visentini |
PhD Student |
||
Fausto Spoto |
Associate Professor |
||
Other people working in programming languages, formal methods, logic, and foundations of computer science in Verona | |||
GianLuigi Bellin |
Assistant Professor |
||
Andrea Masini |
Professor |
||
Massimo Merro |
Associate Professor |
||
Roberto Segala |
Professor |
||
Ugo Solitro |
Assistant Professor |
||
Luca Viganò |
Associate Professor |
||
Friends and former students | |||
Federico Crazzolara |
PhD Student, BRICS and Cambridge |
||
Samir Genaim |
Post Doc moving to UPM |
||
Elisa Quintarelli |
PhD Student |
||
Francesco Ranzato |
Associate Prof. |
||
Francesca Scozzari |
Assistant Prof. |
||
Damiano Zanardini |
Post Doc in UPM Madrid |
||
Mirko Zanotti |
SW Eng. |