received his PhD at University of Munster after university studies at Sorbonne, University of Louvain, and University of Munster. He held positions at University of Munster, University of Dortmund, and University of Udine. Since 1985, he is a professor in the Department of Computer Science at the University of Pisa. His main topics of interest are mathematical logic and its applications to various branches of computer science.