Henkilötiedot

  • Koko nimi: Antti-Juhani Kaijanaho
  • Syntymäaika ja -paikka: 2. marraskuuta 1977, Jyväskylä
  • Asuinhistoria: Kortepohjan ylioppilaskylä (1977–1986), Heikkilä (1986–1988), Pupuhuhta (1988–1993), Tampere (Kyttälä, 1993–1997), Ristonmaa (1997–2000), Keltinmäki (2000–2015), Ainolanranta (2015–)
  • Elämäntilanne: seurustelen, ei lapsia

Luottamustehtävät

Yhteiskunnalliset

Nykyiset

  • Keski-Suomen käräjäoikeuden lautamies (2005–2017)
  • Keski-Suomen vaalipiirilautakunnan varajäsen (2011-2019)

Menneet

  • Jyväskylän kaupungin tarkastuslautakunnan varajäsen (2005–2012)
  • Jyväskylän kaupunginvaltuuston varajäsen (2006–2008)
  • Jyväskylän kaupungin keskusvaalilautakunnan jäsen (2005–2008)
  • Jyväskylän kaupungin teknisen lautakunnan varajäsen (2004)

Puolueessa

Nykyiset

  • Jyväskylän Vihreät ry:n hallituksen jäsen vuodesta 2004
  • Jyväskylän Vihreät ry:n taloudenhoitaja vuodesta 2008
  • Keski-Suomen Vihreät ry:n hallituksen jäsen vuonna 2012 ja varajäsen vuodesta 2013

Puoluekokousedustajana

  • 2014 (varsinainen)
  • 2013 (vara; olin paikalla)
  • 2012 (varsinainen; sairastuin juuri ennen matkaa, joten jäin pois kokouksesta)
  • 2011 (vara; olin paikalla)
  • 2010 (varsinainen)
  • 2008 (varsinainen)
  • 2007 (varsinainen)
  • 2005 (vara)

Lähettäjäyhdistys on ollut joka kerta Jyväskylän Vihreät ry.

Muut menneet

  • Puolueen tekijänoikeustyöryhmän jäsen 2007–2009
  • Puolueen tietoyhteiskuntatyöryhmän jäsen 2007–2009
  • Jyväskylän Vihreät ry:n hallituksen sihteeri vuonna 2008
  • maallikkotilintarkastaja, toiminnantarkastaja tai hänen varahenkilönsä eri puolueyhdistyksissä eri tilikausilla
  • Keski-Suomen Vihreät ry:n syksyllä 2011 toimineen sääntötyöryhmän puheenjohtaja
  • Jyväskylän Vihreät ry:n ja muiden asianosaisten yhdistysten vuonna 2008 toimineen uuden Jyväskylän puoluejärjestörakennetta pohtineen työryhmän puheenjohtaja

Yliopistossa

Nykyiset

  • Informaatioteknologian tiedekuntaneuvoston varajäsen 2005–2008 ja 2010–2017

Menneet

  • Informaatioteknologian tiedekuntaneuvoston jäsen 2008–2009
  • Tietotekniikan laitosneuvoston jäsen 205–2009

Työkokemus

Jyväskylän yliopiston tietotekniikan laitoksella (–2016) ja informaatioteknologian tiedekunnassa (2017–)

  • Yliopistonopettaja (vakinainen, 1.2.2016 alkaen)
  • Tohtorikoulutettava (2014–2016)
  • Yliopistonopettaja ja tohtorikoulutettava (2011–2014)
  • Assistentti (2002–2010)
  • Sivutoiminen tuntiopettaja (2000–2001)
  • Tutkimusavustaja tai -apulainen (2000–2001)

Palkalliset projektit muualla

  • Luento yhdistyksen taloudenhoidosta JAMKO-akatemiassa 8.11.2016
  • Puheenjohtajakurssin talousosio Jyväskylässä 23.1.2010 (Vihreä Sivistys- ja Opintokeskus ViSiO)
  • Sivutoiminen tuntiopettaja Chydenius-instituutissa talvella 2003–2004
  • Bjarne Stroustrupin kirjan C++-ohjelmointi suomennoksen tarkastus yhdessä Vesa Lappalaisen kanssa talvella 1999-2000 (Teknolit Oy)
  • Monisteen LaTeX ja AMS-LaTeX: Opus asiatekstin ladonnasta laadinta Jyväskylän yliopiston ATK-keskukselle 1998
  • ATK-kerhon vetäminen tuntiopettajana Jyväskylän Rudolf Steiner -koulussa vuonna 1999

Vapaaehtoistyö

  • Täysivaltainen Debian-kehittäjä (Debian Developer, uploading) 1999–2014
  • Planet Haskell -sivuston ylläpitäjä vuodesta 2006
  • Kontribuutioita Bluefish- ja BNF Converter -vapaaohjelmissa
  • Dctrl-tools-vapaaohjelmiston kehitystyö vuodesta 1998
  • Myyntivuoroja eri maailmankaupoissa (KUU-kioski ja Jyväskylän kehitysmaakauppa Jyväskylässä sekä Kehitysmaakauppa Tasajako Tampereella) vuosina 1992–1995

Koulutus

  • Filosofian tohtori 2015
  • Filosofian lisensiaatti 2014
  • Filosofian maisteri (pääaineena ohjelmistotekniikka, sivuaineina matematiikka ja filosofia; pro gradu -työn arvolause laudatur) 2002 Jyväskylän yliopiston tietotekniikan laitokselta
  • Ylioppilastutkinto ja lukion oppimäärä suoritettu Tampereen Rudolf Steiner -koulussa 1997 (kolme laudaturia)
  • Oppivelvollisuus suoritettu Jyväskylän Rudolf Steiner -koulussa 1993
  • Pasuunansoiton opintoja Tampereen konservatorion puhallinorkesterikoulussa 1995–1997 ja Jyväskylän musiikkiopiston puhallinorkesterikoulussa 1997.
  • Kitaransoiton ja musiikin teorian opintoja Jyväskylän musiikkikoulun rock/jazz-linjalla 1989(?)–1993

Julkaisuja

  • Brad A. Myers, Andreas Stefik, Stefan Hanenberg, Antti-Juhani Kaijanaho, Margaret Burnett, Franklyn Turbak, ja Philip Wadler: Usability of Programming Languages: Special Interest Group (SIG) Meeting at CHI 2016. CHI EA '16 Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems, 2016.
  • Antti-Juhani Kaijanaho: Evidence-based programming language design: a philosophical and methodological exploration. University of Jyväskylä, 2015. Jyväskylä Studies in Computing 222.
  • Antti-Juhani Kaijanaho: The extent of empirical evidence that could inform evidence-based design of programming languages: a systematic mapping study. University of Jyväskylä, 2014. Jyväskylä Licentiate Theses in Computing 18.
  • Antti-Juhani Kaijanaho: Ohjelmointikielten periaatteet. Jyväskylä: Jyväskylän yliiopisto, tietotekniikan laitos, 2010. Luentomoniste 16. (153 pages)
  • Jari Veijalainen ym.: Luku 14 Tietojenkäsittelyn kehittyminen ja tietoturvallisuus teoksessa "Sotatekninen arvio ja ennuste 2025 STAE 2025 osa 1: Teknologian kehitys", Puolustusvoimien teknillinen tutkimuslaitos, 2008.
  • Antti-Juhani Kaijanaho ja Tommi Kärkkäinen: Formaalit menetelmät. Jyväskylä: Jyväskylän yliopisto, tietotekniikan laitos, 2005. Luentomoniste 12.
  • Antti-Juhani Kaijanaho: On Typechecking B. In Pekka Kilpeläinen & Niina Päivinen (Eds.), "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, June 2003
  • Antti-Juhani Kaijanaho ja Benjamin Fallenstein: Totally Different Structural Programming: Programming Languages in ZigZag. An invited talk presented at the first international ZigZag Workshop, part of the The Twelfth ACM Conference on Hypertext and Hypermedia, in Århus, Denmark, on August 14, 2001
  • Antti-Juhani Kaijanaho: ZigZag - Tulevaisuuden systeemi. Systeemityölehti 2001-2, 2001
  • Antti-Juhani Kaijanaho: LaTeX ja AMS-LaTeX: Opus asiatekstin ladonnasta. 1. p.: Jyväskylä: Jyväskylän yliopiston ATK-keskus, 1998. 2. korjattu p.: Jyväskylä: Jyväskylän yliopiston ATK-keskus, 2004. Käyttäjän opas 43.
  • Sirkka Suurla ym: Sielujansa. Tampere: Tammes, 1993.

Muuta

  • Tuomarinvakuutus 15.3.2005
  • Jyväskylän teknillisen seuran Agora-gradupalkinto 2003
  • Tietotekniikan laitoksen Paras gradu 2002 -palkinto