Antti Hyvärinen
Postdoc, Doctor of Science, at the USI Formal Verification and Security group
Contact Information
-
Postal address:
Faculty of Informatics
Universita della Svizzera italiana
Via Giuseppe Buffi 13
CH-6904 Lugano
Svizzera
-
Office:
room SI-104a
Computer Science Building
-
E-mail: Antti.Hyvaerinenusi.ch
- Phone: +41 58 666 4291
-
Reception: Tuesdays 3.30pm to 4.30pm.
Research interests
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.
Recent activities
Current teaching
- 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
Other
I like rock climbing and skiing. I also know how to play the cello on the national television!