Mikko Tiusanen, professori

Huone/room: TF207
Vastaanotto: ke 9-10 luentokausilla.
Office hours: Wednesdays 9-10am on lecture weeks.
sähköposti/e-mail: mikko.tiusanen(ät)tut.fi,
puhelin/phone: (+358-40) 849 0739.
posti/mail: TTY/OHJ, PL 553, 33101 Tampere.

OHJ laitoksen kotisivu - T-osaston kotisivu - TTY:n kotisivu

Opetus/Teaching

OHJ-1101 Ohjelmointi 1e (4 op), toinen luennoitsija; syksystä 2008 alkaen!
OHJ-4400 Reaaliaikajärjestelmät (3 op); syksystä 2005 alkaen! (Edeltäjä 8104200 keväästä 2003.)
OHJ-4040 Rinnakkaisuuden jatkokurssi (3 op); keväästä 2006 alkaen!
OHJ-laitoksen kandidaatintöiden ohjaus (8 op); keväästä 2006 alkaen!

Tutkimus/Research

Petri-verkot/Petri Nets
Tila-avaruuden haku/State space search
Ohjelmien todentaminen/Program verification
Vikasietoiset järjestelmät/Fault-tolerant systems
Reaaliaikajärjestelmät/Real-time systems

VARG -projekti on lähellä sydäntäni.