Syntymäaika	1980
Ammatti	tutkija
Toimiala	tietotekniikka
Tunnisteet	0000000484811299 (isni) http://urn.fi/URN:NBN:fi:au:finaf:000134561 (finaf) https://orcid.org/0000-0003-2572-063X (orcid)
Lähteet	Järvisalo, Matti. Structure-based satisfiability checking, 2008: t.p. (Matti Järvisalo) Teknillisen korkeakoulun väitöstiedote 13.11.2008