Watercolor portrait of myself painted by my mother in 1998.
Dipartimento di Ingegneria e Scienza dell'Informazione (DISI),
Facoltà di Scienze M.F.N.,
Università di Trento
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:
MathSAT, a SAT-based 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