Pertti Kellomäki, senior researcher
Sama suomeksi.
Office: TG409, email pertti.kellomaki@tut.fi, phone +358-3-31153814
I am a senior researcher at the Institute of Digital and Computer Systems,
Research
My current interests are in the area of compilation for embedded
systems. My previous research was in formal methods, theorem proving
and formal specification and verification of distributed systems.
Courses
I will be giving a seminar on general purpose computing on GPUs.
See here for more information.
Other interests
Most of my spare time is spent with our three Bearded Collies,
herding, and clicker training. I also do a bit of Finnish folk dance.
My CV as a pdf file.
Olen vanhempi tutkija Digitaali- ja tietokonetekniikan laitoksella.
Kurssit
Katso yllä.
Tutkimus
Nykyään olen kiinnostunut sulautettujen järjestelmien kääntäjätekniikoista.
Aikaisempi tutkimukseni on pyörinyt formaalien menetelmien,
teoreemantodistuksen ja hajautettujen järjestelmien formaalin
määrittelyn ja verifioinnin tiimoilla.
Nykyisin vapaa aikani menee suurimmaksi osaksi partistemme Putneyn, Petsun ja Tykin
kanssa paimennuksen
ja naksutinkoulutuksen tiimoilla.
CV:ni löytyy pdf-muodossa.