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
OptiMathSAT, an Optimization Modulo Theories procedure.
MathSAT, an SMT decision procedure.
NuSMV2, a OBDD+SAT based Symbolic Model Checker.
whilst the following refer to a more joyful side of my life:
- Although you have surely met much better photographers than I am,
my photograph
"Ragazza con bambino [Yemen, 2004]" ("Girl with child
[Yemen, 2004]")
has won a prize
at a national photography context
in 2008.
Nice quotes (in English or in Italian)
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.