Simone Fulvio Rollini

Position

I am a PhD student at the Faculty of Informatics of USI.
I have recently joined the Formal Verification and Security Group, lead by Prof.Natasha Sharygina.

Research Interests

Formal methods, model checking, SMT, decision procedures, distributed algorithms.

Projects

I am currently working at the Formal Verification via Boolean and Theory Reasoning (SMT) project, contributing to the development of the open source SMT solver OpenSMT.

Teaching Activities

Teaching Assistant:
     Software Atelier I, Fall 2009
     Discrete Structures and Logic I, Spring 2010
     Computer Aided Verification, Fall 2010

Publications

R.Bruttomesso, S.F.Rollini, N.Sharygina and A.Tsitovich
Flexible Interpolation with Local Proof Transformations
To appear in ICCAD 2010

S.F.Rollini, R.Bruttomesso and N.Sharygina
An Efficient and Flexible Approach to Resolution Proof Reduction
To appear in HVC 2010

Other Interests

Ballet and contemporary dancing, psychology and philosophy, gardening.