• Born in Arezzo (Italy) on 26 December 1959
  
  
• 1983 Degree in Computer Science, University of Pisa
  
  
• 1987 Ph.D. in Computer Science, University of Pisa
  
  
• 1994 Full Professor in Computer Science, University of Udine

Scientific papers on:

• Semantics of Programming Languages
  
  
• Type Theories
  
  
• Lambda-calculus
  
  
• Proof-theory of Linear Logic