Skip to main content
UniPD
Departments
Libraries
Contacts
Uniweb [it]
Webmail [it]
Moodle
Reserved area [it]
MENU
ITA
CLOSE
Department
Presentation
Head of the department
Buildings and facilities
Classrooms and laboratories
Offices
People
Services
Reserved area [it]
Courses
Degree courses
Doctoral courses
MOOC
English and Italian courses
Lessons timetable
Research
Research Areas
Doctoral courses
Events
Seminars and Colloquia
Research Integrity Code
Third Mission
Presentation
News
Home
Department
People
Francesco Ranzato
Presentation
Head of the department
Buildings and facilities
Classrooms and laboratories
Offices
Secretariats
Informatic support
General Services
People
Services
Informatic support
Biblioteca Matematica [it]
University library system
Useful links
Reserved area [it]
Francesco Ranzato
Type
: Faculty
Role
: Professore Ordinario
SSD
: INFO-01/A
Room
: 6DA4
Phone
: 049 827 1369
E-mail
:
ranzato@math.unipd.it
Web page
:
http://www.math.unipd.it/~ranzato
Topics
:
Formal Methods for Software Reliability
Programming Languages