Hartmanis was born in Latvia.
Hartmanis u lind në Letoni.