Antti Hyvärinen

Postdoc, Doctor of Science, at the USI Formal Verification and Security group

Contact Information

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

Supervised Master's theses



I like rock climbing and skiing. I also know how to play the cello on the national television!