Francesco Ranzato is a professor in Computer Science at the University of Padova.  His research work has been mostly focused on abstract interpretation, static analysis, and verification of software systems.