Watercolor portrait of myself painted by my mother Emilia Raffaelli Sebastiani in 1998.
(Unfortunately, unlike Dorian Gray 's, it doesn't age in my place.)

Roberto Sebastiani

Full Professor (Professore Ordinario) of Artificial Intelligence, Automated Reasoning and Formal Methods.
Dipartimento di Ingegneria e Scienza dell'Informazione (DISI), Università di Trento
Sector: 09/H1, ING-INF/05.

The following links refer to my job and research: I'm part of the development team of whilst the following refer to a more joyful side of my life:

Official Disclaimer: these are informal pages, representing the opinions of the contributor, but not necessarily of his employer. The information is provided without any warranty. It is intended to be useful, but is certainly not always complete nor up-to-date.
All "Calvin and Hobbes" materials is owned and copyrighted by Bill Watterson.
All "Dilbert" materials is owned and copyrighted by Scott Adams.
All "Doonesbury" materials is owned and copyrighted by Garry Trudeau.