• Born in Genoa (Italy) on 20 August 1958
  
  
• 1981 Degree in Mathematics, University of Pisa
  
  
• 1983 Diploma in Mathematics, Scuola Normale Superiore, Pisa
  
  
• 1990 Full Professor in Computer Science, University of Udine
  

Scientific papers on:

• Semantics of Programming Languages
  
  
• Type Theories and Lambda-calculus
  
  
• Computer-aided Formal Reasoning
  
  
• Foundations of Computer Science