Antti-Juhani Kaijanaho
Personal blog *
suomeksi
University teacher, postgraduate student
-
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 40 805 3269
-
Office hours: Tue 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 Mathematical Information Technology
P.O. Box 35 (Agora)
40014 Univ. of Jyväskylä
Teaching:
-
Automatons and Formal Languages (summer 2013)
-
Principles of Programming Languages (fall 2012)
-
Automatons and Formal Languages (spring 20112)
-
Automatons and Formal Languages (spring 2011)
-
Principles of Programming Languages (fall 2010)
-
Compiler Technology (fall 2009)
-
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
2013-06-06 Antti-Juhani Kaijanaho