Computer Science Department Universita` Ca' Foscari, Venezia, Italy Tino Cortesi Full professor Software Engineering - Program Analysis See why Gottfried Leibnitz and Immanuel Kant are my ancestors Address Publications Teaching Biography CV (en) CV (it) cortesi@unive.it