• Born in Udine (Italy) on 6 December 1968
  
  
• 1992 Degree in Computer Science, University of Udine
  
  
• 1997 Ph.D. in Computer Science, University of Udine
  
  
• 2000 Assistant professor, the University of Udine

Scientific papers on:

• Formal Methods
  
  
• Semantics of Programming Languages
  
  
• Functional Languages
  
  
• Computer-aided Formal Reasoning