Roberto Sebastiani - Education and past positions

• PhD in Computer Science Engineering from University of Genova, Italy. (1997)
• M.S. in Electronical Engineering from University of Padova, Italy, (1991)
  
  

• Assistant Professor at Dipartimento di Informatica e Telecomunicazioni, Facoltà di Scienze, Università di Trento (2001-2003)
• 3+2-year researcher at Mechanized Reasoning Group, Department of Computer and Management Sciences (DISA), University of Trento. (1999-2000)
• Researcher at Istituto per la Ricerca Scientifica e Tecnologica (ITC-IRST) of Trento. (1997-1999)