Matti Jarvisalo

Dr. Matti Järvisalo

                                                        University of Helsinki         Helsinki Institute for Information Technology Academy of Finland
Academy Research Fellow
Academy of Finland, 9/2014-8/2019
Principal Investigator
Constraint Reasoning and Optimization
Adjunct Professor (docent)
("kaiken maailman dosentti")
Department of Computer Science
Faculty of Science
University of Helsinki

D.Sc.(Tech.) with distinction, 2008
   Helsinki University of Technology TKK
   [TKK is part of Aalto University since 2010.]
Lic.Sc. (Tech.), 2007, TKK
M.Sc. (Tech.) with distinction, 2004, TKK
Postal Address: Department of Computer Science / HIIT
P.O. Box 68
FI-00014 University of Helsinki
Office:Room A312,
3rd floor of Exactum, wing A
Gustaf Hällströmin katu 2b
Telephone: +358 50 3199 248
Email: matti.jarvisalo[AT]

I lead the Constraint Reasoning and Optimization Group at the University of Helsinki and (within CoSCo) at HIIT.

Interested in a part-time or full-time research assistant position aiming at a Master's thesis?
We are constantly looking for talented students with

to work with us on forefront research problems within the Constraint Reasoning and Optimization Group. For more information, contact me by email.

Interested in a PhD or Postdoc position in my group?
For queries on potential opportunities, contact me by email for more details!


Earlier Highlights

M. Järvisalo, A. Van Gelder (eds.), LNCS 7962, Springer, 2013.


Keywords: Boolean satisfiability and its generalizations, decision procedures, constraint satisfaction and optimization, automated reasoning, artificial intelligence, knowledge representation, computational/proof complexity, computational aspects of argumentation, graphical models, structure discovery, ...


Research-Related Software


A complete list of my publications with downloadable papers and bibtex entries is available both by year and by type. You can also check out my Google Scholar profile, and my DBLP entry (includes only a subset of my papers, though).

Some recent work

Professional Activities

Steering Committee Memberships

Program Committee Chairing and Editorships

Program Committee Memberships



Reviewed scientific manuscripts for


Conferences (not including PC memberships):

Awards and Honors




To prospective students: If you're interested in conducting research aiming at a thesis under my guidance, feel free to contact me via email. To get a feel for possible topic areas, see my research interests above. You can also have a look at my publications.


Lectured (teacher-in-charge of) the following courses:

TA'd (held exercise sessions, prepared material, marked exams and homework, etc) on the following courses: