Antti-Juhani Kaijanaho

Personal blog * suomeksi

Assistant in Software Engineering

• Email address: antti-juhani.kaijanaho@jyu.fi.
  This address is for official business only. Private (unrelated to my teaching or reasearch) messages should be addressed to antti-juhani@kaijanaho.fi.
• Office: Ag C416.1
• Work phone: + 358 (0)14 260 2766
• Office hours in Spring 2010: wed 14–16 (other times may or may not be there)
• Visiting address: Mattilanniemi 2 (Agora, 4th floor), Jyväskylä
• Postal address:
  Antti-Juhani Kaijanaho
  University of Jyväskylä
  Department of MIT
  P.O. Box 35 (Agora)
  40014 Univ. of Jyväskylä

Teaching:

• Principles of Programming Languages (spring 2009)
• Functional Programming 1 (spring 2008, first half)
• Functional Programming 2 (spring 2008, second half)
• Principles of Programming Languages (spring 2007)
• Functional programming 1 (fall 2005) and Functional programming 2 (spring 2006)
• Automated reasoning (spring 2004) (lectures, exercise supervision)
• Formal methods (winter 2003/4) (lectures, exercise and course project supervision)
• Functional programming (fall 2003) (lectures, course project supervision)
• Formal methods (spring 2003) (demonstrations, some lectures)
• Principles of Programming Languages (fall 2002)
• Formal methods (spring 2002) (demonstrations, some lectures)
• Programming (summer 2001) (lectures, demonstrations)
• Introduction to Programming (fall 2000) (demonstrations, course project supervision)
• Programming (summer 2000) (demonstrations, hands-on sessions, course project supervision)
• Programming (spring 2000) (hands-on sessions, course project supervision)

List of publications

A brief curriculum vitae

2010-01-12 Antti-Juhani Kaijanaho