RANZATO FRANCESCO

Contacts
E-mail
61cc07fd2c9d275dea197a74dd095a24
bring this page
with you
Structure Department of Mathematics
Telephone 0498271369
Qualification Professore associato confermato
Scientific sector INF/01 - COMPUTER SCIENCE
University telephone book  Show
 

Office hours
Dipartimento di Matematica, Torre Archimede (IV piano), via Trieste 63, Padova Ricevimento su appuntamento: Si prega di inviare una richiesta di ricevimento mediante email.
(updated on 09/04/2014 13:05)

Proposals for thesis
Research topics:
-- abstract interpretation
-- static program analysis
-- program verification

Curriculum Vitae
Francesco Ranzato received the Laurea degree cum laude in Mathematics and the Ph.D. in Computer Science, both at the University of Padova, Italy. On 1995 he visited the Laboratoire d'Informatique of Ecole Polytechnique, Paris, France. From 1997 to 1998 he held post doctoral positions funded by CNR (Italian National Research Council) and University of Padova. From 1999 to 2002 he was assistant professor in Computer Science at the University of Padova. From 2002 he is an associate professor in Computer Science at the University of Padova. On December 2006 he held a visiting "Directeur de Recherche" position of French CNRS at Ecole Polytechnique, Paris, France. His research interests include abstract interpretation, static program analysis, semantics of programming languages, automatic verification by model checking, behavioural equivalences in process algebras, lattice theory. He has been co-recipient of the 2013 Microsoft Research Software Engineering Innovation Foundation Award, monetary award of 25.000$. He has been or is member of program committees of international conferences and organizer of international workshops on programming languages, static analysis and abstract interpretation. He has been invited speaker at international conferences, workshops and at international research institutes (in Europe and US) and teacher of graduate courses on abstract interpretation. He has been member of international Ph.D. committees across Europe. He is author of about 60 publications on the aforementioned areas in refereed international journals and conferences. As far as project funding and management is concerned, he has been or is principal investigator of a number of research projects concerning abstract interpretation and model checking, that have been funded by MUR (Italian Minister of University and Research) under action FIRB (about 200.000 Euro) and action PRIN (about 70.000 Euro) and by University of Padova (about 40.000 Euro). He has been scientific supervisor of a number of post-doc research grants funded by University of Padova (about 40.000 Euro).

List of taught course units in A.Y. 2017/18
Degree course code Degree course track Course unit code Course unit name Credits Year Period Lang. Teacher in charge
SC1176 COMMON SCP6076301 ADVANCED TOPICS IN COMPUTER SCIENCE
A.Y. 2017/18 details
6 1st Year Annual ENG FRANCESCO RANZATO
SC1167 COMMON SC02123180 OBJECT-ORIENTED PROGRAMMING
A.Y. 2017/18 details
10 2nd Year First
semester
ITA FRANCESCO RANZATO
SC1176 COMMON SCP6076339 SOFTWARE VERIFICATION
A.Y. 2017/18 details
6 1st Year First
semester
ITA FRANCESCO RANZATO