Postdoc, Doctor of Science, at the USI Formal Verification and Security group
Faculty of Informatics
Universita della Svizzera italiana
Via Giuseppe Buffi 13
Computer Science Building
- Phone: +41 58 666 4291
Reception: Tuesdays 3.30pm to 4.30pm.
Parallel solving of constraint problems, particularly SAT and SAT modulo
theories, applied to software and hardware verification. I am the lead developer of the OpenSMT2 SMT solver.
- I am a teaching assistant on the Fundamental of Informatics course, the Fall 2016 semester
Supervised Master's theses
- Alessandro Gusmeroli: Reactive Displays - Supporting Dynamic Display Behaviour Using a Rescheduling Approach
- Tao Sun: Parameter Selection in Translation-Based Approaches to Answer Set Solving
I like rock climbing and skiing. I also know how to play the cello on the national television!