Curriculum Vitae

Kaijanaho, Antti-Juhani (s. 2.11.1977)

Vapautettu palvelemasta vakinaisessa väessä rauhan aikana 7.9.1995 ja siirretty nostoväen II luokkaan (lääkärintarkastusohjesääntö C 3431A).

Koulutus

Filosofian maisteri,
Jyväskylän yliopisto
20.12.2002
Luonnontieteiden kandidaatti,
Jyväskylän yliopisto
14.12.2001
Ylioppilastutkinto,
Tampereen Rudolf Steiner -koulu
31.5.1997

Työkokemus

Assistentti ( mvs ), JY TTL 1.1.2002 - 31.8.2007
Tutkimusavustaja / tutkimusapulainen, JY TTL 1.7.2000 - 31.12.2001
Tuntiopettaja (sivutoiminen), JY (eri laitoksilla) 2000 - 2004
Stroustrup: C++-ohjelmointi,
suomennoksen asiantuntijatarkastus, Teknolit Oy
vuodenvaihde 1999-2000
Vapaaehtoinen Debian -kehittäjä (palkaton) 14.1.1999 -
ATK-kerhon vetäjä,
Jyväskylän Rudolf Steiner -koulu
kevät 1999
Palkaton, vapaaehtoinen tuntimyyjä,
Kehitysmaakauppa Tasajako
1993 - 1995
Palkaton, vapaaehtoinen tuntimyyjä,
Jyväskylän kehitysmaakauppa & KUU-kioski
1992 - 1993

Poliittiset luottamustoimet

Tekninen lautakunta,
varajäsen, Jyväskylän kaupunki
2.3.2004 - 31.12.2004
Hallituksen jäsen, Jyväskylän seudun vihreät ry 1.1.2004 - 31.12.2004

Muut luottamustoimet

Puheenjohtaja, TOYS 3.3.2003 - 31.12.2004
Jäsensihteeri, TOYS 6.3.2003 - 31.12.2004
Ohjelmisto-lehden vastaava toimittaja, TOYS 2.3.2004 - 31.12.2004
Moderoijaryhmän jäsen,
sfnet.atk.ohjelmointi.moderoitu
17.12.1998 - 24.9.2004
Kirjanpitäjä, Ahopaja ry 1995-1997
Hallituksen puheenjohtaja, Vihreä Elämä ry
(nyk. MYTTY )
13.13.1996 - 26.6.1996
Hallituksen sihteeri, Vihreä Elämä ry 10.12.1992 - 19.5.1994
Taloudenhoitaja, Vihreä Elämä ry 10.12.1992 - 26.6.1996
Hallituksen jäsen, Vihreä Elämä ry 10.12.1992 - 26.6.1996
Sihteeri,
Jyväskylän Rudolf Steiner -kolun oppilaskunta
lukuvuosi 1992-1993

Julkaisuja

Antti-Juhani Kaijanaho: On Typechecking B. Pekka Kilpeläisen ja Niina Päivisen toimittamassa kirjassa Proceedings of the Eighth Symposium on Programming Languages and Software Tools SPLST'03, Kuopio, Finland, June 17-18, 2003, Report A/2003/1, University of Kuopio, Department of Computer Science, Kuopio, kesäkuu 2003.

Antti-Juhani Kaijanaho: The formal method known as B and a sketch for its implementation. Pro gradu, Jyväskylän yliopisto, Tietotekniikan laitos, 2002 (arvosana laudatur ).

Antti-Juhani Kaijanaho: Muistinhallinta siivousmenetelmien avulla. Kandidaatintutkielma, Jyväskylän yliopisto, Tietotekniikan laitos, 2001.

Antti-Juhani Kaijanaho: ZigZag - Tulevaisuuden systeemi. Systeemityölehti 2001-2, 2001.

Antti-Juhani Kaijanaho: LaTeX ja AMS-LaTeX: Opus asiatekstin ladonnasta. Jyväskylän yliopiston Atk-keskus, 1998, Käyttäjän opas 43. 180 s., ISBN 951-39-0348-6, ISSN 0359-372X. Toinen, korjattu painos 2003.

Antti-Juhani Kaijanaho: Fyysinen todellisuus: Fysiikan maailmankuva ja sen kehitys, Tampereen Rudolf Steiner -koulun päättötyö, 1996 (seittilaitos 1997).

Sirkka Suurla, Antti-Juhani Kaijanaho, Oras Tynkkynen, Emma Roinila, Karri Muurimaa, Miia Suominen: Sielujansa: runoja. Omakustanne, painopaikka Tammes ry, 1993, ISBN 951-9212-60-4.

Useita artikkeleita Vihreä Elämä -lehdessä vuosina 1991-1994.