Watercolor portrait of myself painted by my mother in 1998.

Roberto Sebastiani

Contact me

A more recent picture of myself

Research interests

Publications

Curriculum Vitae ( in English)

Education and past positions

Boards, Committees, etc.

Collaborations

Automated reasoning and verification software

Materiale Didattico/Teaching Material

My students

MathSAT, a SAT-based SMT decision procedure.

NuSMV2, a OBDD+SAT based Symbolic Model Checker.

A much less serious photo of myself

My Travel Photobook - beautiful places I've been

• 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.

BLOG: Cronaca di un'adozione in Cambogia ( in italian )

My tiny contribution to international politics discussion

(From "Time" Magazine, European Edition, December 12th, 2011)

"La cucina di mamma Seba" ( in italian )

Consigli per gli acquisti (di libri) (my personal book review) -- in italian

Nice quotes (in English or in Italian)

Poetry Corner (mostly in italian )

Trento and Trentino, my home

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.