Watercolor portrait of myself painted by my mother Emilia Raffaelli
Sebastiani in 1998.
's, it doesn't age in my place.)
Full Professor (Professore Ordinario) of Artificial Intelligence, Automated Reasoning and
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:
OptiMathSAT, an Optimization Modulo Theories procedure.
MathSAT, an SMT decision procedure.
NuSMV2, a OBDD+SAT based Symbolic Model Checker.
- Although you have surely met much better photographers than I am,
"Ragazza con bambino [Yemen, 2004]" ("Girl with child
has won a prize
at a national photography context
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
All "Calvin and Hobbes" materials is owned and
copyrighted by Bill Watterson.
All "Dilbert" materials is owned and copyrighted by
All "Doonesbury" materials is owned and copyrighted by