Riccardo Focardi, Associate Professor

Where to find me

Riccardo Focardi
Università Ca' Foscari di Venezia
Dipartimento di Informatica
Via Torino 155
I-30172 Mestre (Ve), Italy

tel: +39-041-2348438
fax: +39-041-2348419

E-mail: focardiXdsi.unive.it,
where X = @

Office hours: Monday, 11-13

Research Interests

Here you can find my publications.

Projects and Working Groups

Concluded Projects


Recent Events

Verification Tools

Please, notice that these tools are not anymore suppoted.

Look at our tool web page to find more detail on our verification tools.

Teaching activity

Università Ca' Foscari di Venezia