[ research ]
Dr. Toni Jussila
Toni Jussila obtained a doctorate degree from Helsinki University of Technology in fall
2005. He has been working in the Laboratory of Theoretical Computer
Science under the guidance of Ilkka Niemelä.
From February 2006 to July 2007 Toni Jussila was a member of
FMV at the Johannes Kepler
University in Linz and then moved to OneSpin . In 2019 he moved
back to Finland to Delfoi.
- Formal Verification
- Quantified Boolean Formulas (QBF)
- Propositional Satisfiability (SAT)