Specials

We are interested in applying formal methods, in particular abstract interpretation, to the analysis, verification, specification and development of secure and safe 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 true science!

Direction: Always start from the source and go ahead...

Never to be forgotten: "Computer science is no more about computers than astronomy is about telescopes".

Fiction: U.F.O.

Friends and former students in Verona and Pisa

Marco Campion
Post Doc at ENS (Paris)

Daniel Dominguez
PhD Student

Niccolò Marastoni
Post Doc

Vivek Notani
Post Doc

Michele Ianni
Post Doc (ATEN)

Giulia De Santis
Post Doc (ASPRA)

Fausto Spoto
Associate Professor

Durica Nikolic
ex PhD Student

Enrico Visentini
SW eng at Reply

Damiano Zanardini
Lecturer at UPM Madrid

Samir Genaim
Lecturer at Complutense University of Madrid

Mila Dalla Preda
Associate Professor

Alessio Merlo

Mirko Zanotti
Senior Software Developer at 1&1 Internet AG.

Isabella Mastroeni
Associate Professor

Elisa Quintarelli
Associate Professor

Francesca Scozzari
Associate Prof. University of Chieti-Pescara

Federico Crazzolara
NEC Europe and Chi Spaces Technologies ltd.

Francesco Ranzato
Associate Prof. University of Padova