Tommi Junttila

Doctor of Science, Docent, University Lecturer

Contact Information

Research Interests

Analysis of concurrent systems, computational logic, automated reasoning/deduction, propositional satisfiability, Boolean circuit satisfiability, satisfiability modulo theories, symbolic model checking, symmetry reduction method, graph isomorphism, algorithm engineering and data structures, Petri nets, ...

Program Committee Memberships


The full list is available here.

Theses Instructed

Some Software