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ä. The old HUT home page is still accessible.

From February 2006 to July 2007 Toni Jussila was a member of FMV at the Johannes Kepler University in Linz and now moved to OneSpin Solutions.

Research interests

  • Formal Verification
  • Quantified Boolean Formulas (QBF)
  • Propositional Satisfiability (SAT)


TNF Tower, 7th Floor, North-West Wing
+43 732 2468 9200 (phone)
Room T0757