JKU

TNF / INF

team
contact
software
publications
teaching
jobs


GI-Dissertation Award 2020

FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

[  research ]

Jussila

Dr. Toni Jussila

Assistant

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.

Research interests

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