Versions Compared

Old Version 1

changes.mady.by.user Unknown User (leberre_1@touchstonenetwork.net)

Saved on

compared with

New Version 2

changes.mady.by.user Unknown User (roberto.bruttomesso_1@touchstonenetwork.net)

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Roberto Bruttomesso & Natasha Sharygina, University of Lugano, Lugano, Switzerland

put your bio hereRoberto received a M.S. Degree from the University of Milan (advisor S. Ghilardi), in 2004, and a Doctoral Degree from the University of Trento (advisor A. Cimatti), in 2008. Currently he is a Post-Doc in the Formal Verification Group at the University of Lugano. His main research interests include decision procedures and in particular satisfiability modulo theories applied to model checking for the verification of hardware and software.