Heikki Virtanen

Osoite teknillisellä yliopistolla:               Kotiosoite:
       TTY/OHJ                                     Saarikylientie 281
       PL 553                                      36570 Kaivanto
       33101 Tampere
                         
  Sähköposti: heikki.virtanen at tut.fi

Työ

Olen ohjelmistotekniikan laitoksella jatko-opiskelijana. Tutkimusaiheenani on vuorovaikutuksen mallintaminen ja vuorovaikutuksesta johtuvien hankalien ilmiöiden hallinta. Lisää aiheesta löytyy Verifiointialgoritmien tutkimusryhmän kotisivulta.

Lisäksi opiskelun ohessa opetan satunnaisesti.

TVT

Tutkimustyöhöni liittyen olen osallistunut Tampere Verification Tool -ohjelmiston rakentamiseen ja epävirallisesti jatkat sen ylläpitoa edelleen. Ongelmatilanteissa autan parhaani mukaan ja kerään muutosehdotuksia. Virallinen jakelupaketti on TVT_3.1.1 ja sen päälle on tullut seuraavat korjaukset ja lisäykset:

Ohjeita lisäysten liittämiseksi lähdekoodeihin löytyy esim. ohjelmien git-am ja git-apply manuaalisivuilta.

Opetus

Lukuvuonna 2010-2011 osallistuin kurssin OHJ-3060 Ohjelmistojen testaus harjoitustöiden ohjaukseen.

Lukuvuonna 2007-2008 pidän kurssin OHJ-4400 Reaaliaikajärjestelmät luennot ja harjoitukset.

Lukuvuonna 2006-2007 pidin kurssin Reaaliaikajärjestelmät harjoituksia.

Lukuvuonna 2005-2006 pidin kurssien Reaaliaikajärjestelmät ja Käyttöjärjestelmät harjoituksia.

Lukuvuonna 1998-1999 luennoin kurssin 81021 Laaja ohjelmointi

Koulutus

DI, ammattiaineina matematiikka ja ohjelmistotekniikka.

Tieteelliset harrastukset

Pehmolaskenta eli geneettiset algoritmi, sumeat järjestelmät ja keinotekoiset hermoverkot, sekä ketterät ohjelmistonkehitysmenetelmät.

Muut harrastukset

Se vähä vapaa-aika mitä jää, menee luonnon, kirjallisuuden ja musiikin parissa, muttei välttämättä tässä järjestyksessä.

Aikaisemmat työpaikat

Julkaisuja

  1. Diplomityö: Rajoitusehtojen käsittely geneettisessä optimointialgoritmissa, TTKK, 1997
  2. Virtanen, H.: Visual Verification Techniques. Movep '2k, Modelling and Verification of Parallel Processes, Proceedings of the Summer School, Nantes, France 19-23 June 2000, pp. 244-248.
  3. Valmari, A., Virtanen, H. & Puhakka, A.: Context-Sensitive Visibility. FMICS'02 7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems, University of Malaga, Spain, 12-13 July 2002, pp. 201-217. Ed. Rance Cleaveland and Hubert Garavel, Electronic Notes in Theoretical Computer Science Volume 66 Issue 2, Elsevier Science, December 2002. PDF file at ENTCS website
  4. Hansen, H., Virtanen, H. & Valmari, A.: Merging State-based and Action-based Verification. Proceedings of ACSD 03, Third International Conference on Application of Concurrency to System Design, Guimaraes, Portugal, June 18-20, 2003, IEEE, pp 150-156.
  5. Virtanen, H., Hansen, H., Valmari, A., Nieminen, J. & Erkkilä, T.: Tampere Verification Tool. Proceedings of TACAS 2004, Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, Barcelona, Spain, March 29-April 2, Lecture Notes in Computer Science 2988, Springer-Verlag 2004, pp. 153-157. LNCS #2988