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".

…and the good old Joint Seminars in Padova.

Fiction: U.F.O.

Friends and former students

Marco Campion
PhD Student

Daniel Dominguez
PhD Student

Niccolò Marastoni
PhD Student

Vivek Notani
PhD Student

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