Person
RANZATO FRANCESCO

RANZATO FRANCESCO

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

Fields

Research fields

No Results Found

Publications (101)

Awards and honors (5)

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

Editorial Board

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

Research and teaching at institutions (4)

Visiting researcher invited by prof. Patrick Cousot, Courant Institute of Mathematical Sciences, New York University at: New York University - Visiting Researcher (27/05/2019 - 07/06/2019)
Visiting researcher invited by Dr. Pierre Ganty, IMDEA Software Institute, Madrid, Spain at: IMDEA Software Institute - Visiting Researcher (13/05/2019 - 18/05/2019)
Guest of the Research In Software Engineering (RISE) group. at: 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 at: École Normale Supérieure de Paris - Visiting Researcher (01/06/2008 - 30/06/2008)
No Results Found

Congresses (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

Doctoral college (19)

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