Persona
RANZATO FRANCESCO

RANZATO FRANCESCO

Docenti di ruolo di Ia fascia
Dipartimento di Matematica "Tullio Levi-Civita" - DM

Gruppo 01/INFO-01 - INFORMATICA

Settore INFO-01/A - Informatica

Settori

Linee di ricerca

Static program analysis
No Results Found

Pubblicazioni (101)

Premi e riconoscimenti (5)

Amazon Research Award, conferito da Amazon - 2022
WhatsApp Research Award, conferito da Meta inc. - 2022
Facebook Research Award on Probability and Programming, conferito da Facebook inc. - 2020
Fondo per il finanziamento delle attività base di ricerca FFABR 2017, conferito da Ministero dell’istruzione, dell’università e della ricerca - 2017
No Results Found

Comitati editoriali

Membro del Comitato Editoriale - FORMAL METHODS IN SYSTEM DESIGN - ISSN: 1572-8102 - Dordrecht: Kluwer (2021 - )
No Results Found

Ricerca e didattica presso enti (4)

Visiting researcher invited by prof. Patrick Cousot, Courant Institute of Mathematical Sciences, New York University presso: New York University - Visiting Researcher (27/05/2019 - 07/06/2019)
Visiting researcher invited by Dr. Pierre Ganty, IMDEA Software Institute, Madrid, Spain presso: IMDEA Software Institute - Visiting Researcher (13/05/2019 - 18/05/2019)
Guest of the Research In Software Engineering (RISE) group. presso: Microsoft Research Redmond - Visiting Researcher (13/01/2014 - 18/01/2014)
One month research contract at the De partement d’Informatique, Ecole Normale Superieure ULM, Paris, France presso: École Normale Supérieure de Paris - Visiting Researcher (01/06/2008 - 30/06/2008)
No Results Found

Congressi (3)

Program committee (membro del comitato scientifico) - 29th International Static Analysis Symposium (SAS2022) (05/12/2022 - )
Program chair (presidente/responsabile del comitato scientifico) - International Static Analysis Symposium (SAS'17), New York City, NY, USA, http://staticanalysis.org/sas2017 (01/01/2017 - )
No Results Found

Collegi di dottorato (19)

Università degli Studi di PADOVA - BRAIN, MIND AND COMPUTER SCIENCE-2021 (ciclo: 37 - Anno: 2021 )
Università degli Studi di PADOVA - BRAIN, MIND AND COMPUTER SCIENCE-2020 (ciclo: 36 - Anno: 2020 )
Università degli Studi di PADOVA - BRAIN, MIND AND COMPUTER SCIENCE-2019 (ciclo: 35 - Anno: 2019 )
Università degli Studi di PADOVA - BRAIN, MIND AND COMPUTER SCIENCE-2018 (ciclo: 34 - Anno: 2018 )
Università degli Studi di PADOVA - BRAIN, MIND AND COMPUTER SCIENCE-2017 (ciclo: 33 - Anno: 2017 )
Università degli Studi di PADOVA - BRAIN, MIND AND COMPUTER SCIENCE-2016 (ciclo: 32 - Anno: 2016 )
Università degli Studi di PADOVA - BRAIN, MIND AND COMPUTER SCIENCE-2015 (ciclo: 31 - Anno: 2015 )
Università degli Studi di PADOVA - BRAIN, MIND AND COMPUTER SCIENCE-2014 (ciclo: 30 - Anno: 2014 )
Università degli Studi di PADOVA - SCIENZE MATEMATICHE-2013 (ciclo: 29 - Anno: 2013 )
Università degli Studi di PADOVA - INDIRIZZO DI INFORMATICA-2012 (ciclo: 28 - Anno: 2012 )
Alma Mater Studiorum - Università di BOLOGNA - INFORMATICA-2011 (ciclo: 27 - Anno: 2011 )
Alma Mater Studiorum - Università di BOLOGNA - INFORMATICA-2010 (ciclo: 26 - Anno: 2010 )
Alma Mater Studiorum - Università di BOLOGNA - INFORMATICA-2009 (ciclo: 25 - Anno: 2009 )
Alma Mater Studiorum - Università di BOLOGNA - INFORMATICA-2008 (ciclo: 24 - Anno: 2008 )
Alma Mater Studiorum - Università di BOLOGNA - INFORMATICA-2007 (ciclo: 23 - Anno: 2007 )
Alma Mater Studiorum - Università di BOLOGNA - INFORMATICA-2006 (ciclo: 22 - Anno: 2006 )
Alma Mater Studiorum - Università di BOLOGNA - INFORMATICA-2005 (ciclo: 21 - Anno: 2005 )
Alma Mater Studiorum - Università di BOLOGNA - INFORMATICA-2004 (ciclo: 20 - Anno: 2004 )
Alma Mater Studiorum - Università di BOLOGNA - INFORMATICA-2003 (ciclo: 19 - Anno: 2003 )
No Results Found