| Tampereen
teknillinen yliopisto, Tietotekniikan
osasto, Ohjelmistotekniikan
laitos |
|
Tampere
University of Technology, Department
of Information Technology, Institute
of Software Systems |
| TTY:n
yhteystietoja |
|
Addresses
and Maps of TUT |
| |
|
|
|
|
Tutkimus
|
Verifiointialgoritmit,
lisätietoja löytyy verifiointialgoritmien
tutkimusryhmän kotisivulta. |
|
Research
|
Verification
algorithms, more information can be found on the homepage of the Verification
Algorithm Research Group. |
Julkaisut
|
VARG-ryhmän
julkaisut |
|
Publications
|
Publications
by the VARG-group |
Opetus
|
Luennoin kurssin OHJ-2100
Ohjelmistotieteen perustyökaluja kesällä 2012.
I lecture the course OHJ-2906
Software Science Project on periods 3 and 4, spring 2012.
Olen kurssin OHJ-2100
Ohjelmistotieteen perustyökaluja laskuharjoitusassistenttina
keväällä 2012.
I have lectured the course OHJ-2506
Program Verification on periods 1 and 2, autumn 2011.
Olen toiminut
tarkastajana kurssilla OHJ-1700
Ohjelmistotekniikan kandidaatintyöseminaari periodeilla 1 ja 2
syksyllä 2011.
Olen luennoinut kurssin OHJ-2100
Ohjelmistotieteen perustyökaluja kesällä 2011.
I have lectured the course OHJ-2906
Software Science Project on periods 3 and 4, spring 2011.
Olen
toiminut kurssin
OHJ-2100
Ohjelmistotieteen perustyökaluja laskuharjoitusassistenttina
periodeilla 3 ja 4 keväällä 2011.
I have lectured the
course OHJ-2506
Program Verification on periods 1 and 2, autumn 2010.
Olen
toiminut tarkastajana kurssilla OHJ-1700
Ohjelmistotekniikan kandidaatintyöseminaari periodeilla 1 ja 2
syksyllä 2010.Olen toiminut kurssin OHJ-2100
Ohjelmistotieteen perustyökaluja laskuharjoitusassistenttina
kesällä 2010.
Olen
toiminut
tarkastajana kurssilla OHJ-1700
Ohjelmistotekniikan kandidaatintyöseminaari periodeilla 4 ja 5
keväällä 2010.
I have
lectured the
course OHJ-2906
Software Science Project on periods 4 and
5, spring 2010.
Olen
toiminut kurssin OHJ-2100
Ohjelmistotieteen perustyökaluja laskuharjoitusassistenttina
periodeilla 1 ja 2 syksyllä 2009.
Olen toiminut kurssin OHJ-2100
Ohjelmistotieteen perustyökaluja laskuharjoitusassistenttina
kesällä 2009.
Olen
toiminut kurssin OHJ-2900
Ohjelmistotieteen projektityö luennoitsijana periodeilla 4 ja
5 keväällä 2009.
Olen toiminut kurssin OHJ-2500
Ohjelmien todistaminen luennoitsijana periodeilla 3 ja 4 talvella
2008-2009.
Olen
toiminut kurssin OHJ-2100
Ohjelmistotieteen perustyökaluja laskuharjoitusassistenttina
periodeilla 1 ja 2 syksyllä 2008.
Olen toiminut
kurssin OHJ-2100
Ohjelmistotieteen perustyökaluja laskuharjoitusassistenttina
kesällä 2008.
Olen
toiminut kurssin OHJ-2100
Ohjelmistotieteen perustyökaluja laskuharjoitusassistenttina
periodeilla
1 ja 2 syksyllä 2007.
Olen
toiminut kurssin OHJ-2100
Ohjelmistotieteen perustyökaluja laskuharjoitusassistenttina
periodilla
3 talvella 2006-2007.
Olen
toiminut kurssin OHJ-2500
Ohjelmien todistaminen luennoitsijana periodeilla
1 ja 2 syksyllä 2006.
Olen
toiminut kurssin OHJ-2100
Ohjelmistotieteen perustyökaluja laskuharjoitusassistenttina
periodeilla
2 ja 3 syksy/talvella 2005-2006.
Olen
toiminut kurssin 8100500
Ohjelmistotekniikan
matemaattiset menetelmät laskuharjoitusassistenttina
syksyllä
2004.
Olen
toiminut kurssin 8101100
Johdatus tietojenkäsittelyteoriaan
laskuharjoitusassistenttina keväällä 2003.
Olen
toiminut kurssin 8101160
Ohjelmien todistaminen
laskuharjoitusassistenttina syksyllä 2002.
Olen
toiminut kurssin 81240
Ohjelmien
todistaminen
laskuharjoitusassistenttina syksyllä 2000.
|
Yhteystiedot
|
|
Contact
Information
|
| Osoite |
Tampereen
teknillinen yliopisto
PL 553,
33101 Tampere |
|
Address |
Tampere
University of Technology
P.O.Box 553,
FIN-33101
Tampere
FINLAND |
| Huone |
Tietotalo
F 211 |
|
Room |
Tietotalo
F 211 |
| Puhelin |
(03) 3115 2111* |
|
Telephone |
+358
3 3115 4390 / +358 3 3115 2111* |
| Faksi |
03 3115
2919 |
|
Fax |
+358
3 3115 2919 |
| Sähköposti |
antero@cs.tut.fi |
|
Email |
antero@cs.tut.fi |
| Kotisivu |
http://www.cs.tut.fi/~antero/ |
|
Homepage |
http://www.cs.tut.fi/~antero/ |
| |
|
|
|
|
Erityistä
/ Special
|
, in English, suomeksi