Syntymäaika	1979
Tunnisteet	0000000484886661 (isni) http://urn.fi/URN:NBN:fi:au:finaf:000145534 (finaf)
Lähteet	Aalto-yliopiston perustieteiden korkeakoulun väitöstiedote 16.11.2011 Grid based propositional satisfiability solving, 2011: t.p. (Antti E.J. Hyvärinen)