Juhani Karhumäki- Curriculim Vitae#
Education:
- M.Sc. in mathematics 1973, Univ. of Turku
- Ph.D. in mathematics 1976, Univ. of Turku
- Docent in mathematics 1980, Univ. of Turku
Professional appointments:
- Junior Researcher of Academy of Finland, 1980-85
- Senior assistant, Univ. of Turku, 1986-89
- Docent, Univ. of Turku, 1980-
- Professor, Univ. of Turku, (acting), 1989-; (permanent) 1998-
- Head, Dept. of Math. Sci, Univ. of Turku 1998-2002
- Post Doctoral Fellow in Univ. of Waterloo, Canada, 1979 (7 months)
Visiting associate professor
- in Univ. of Waterloo, Canada, 1981 (4 months)
- in Univ. of Waterloo, Canada, 1985 (12 months)
- in Univ. of South Carolina, USA, 1988 (6 months)
Visiting professor
- in Univ. of Lille, France, 1991 (3 months)
- in Univ. of Paris VII, France, 1994 (1 month)
- in Univ. of Paris VII, France, 1995 (1 month)
- in Univ. of Paris VII, France, 1999 (1 month)
- in Univ. of Paris VII, France, 2001 (1 month)
- in Univ. of Marne la Vallée, France, 2002 (1 month)
- in Institute of Mathematics, Marseille, France 2003 (1 month)
- in Univ. of Waterloo, Canada, 2003 (1 month)
- in Univ. of Marseille/Labri, France, 2003 (1 month)
Memberships and positions of trust
Member:
- of Finnish Academy of Sciences, 2000-
- of Academia Europaea (Informatics), 2006-
- of Research Council of University of Turku 2000-2008
Member of Editorial Board:
- in Mathematica Slovaca, 1991-1996
- in Journal of Automata, Languages and Combinatorics, 1996-
- in Electronic Journal of Discrete Mathematics and Theoretical Computer Science, 1996-
- in RAIRO Theoretical Informatics and Applications 1999-
- in Universal Journal of Computer Science (electronic), 2000-
- in International Journal of Foundations of Computer Science, 2000-
- in Computer Science Review (area editor in Formal Languages), 2006-
- in Theoretical Computer Science, Tranck A (invited)
- for Handbook of Formal Languages (Springer, 1997)
- guest editor (jointly) of a special issue of Theoretical Computer Science four times, of Fundamenta Informatica once, of International Journal of Foundations of Computer Science twice, of Theoretical Informatics and Applications twice
Member of Programme Committee:
- for Annual Symposium on Theoretical Computer Science (STACS) 1985, 1993, 1998, 2008
- for International Colloquium on Automata, Languages and Programming (ICALP) 1986, 1990, 1991, 1996, 2004 (main organizer)
- for Latin American Symposium of Theoretical Informatics (LATIN) 1992
- for International Conference on Fundamentals of Computation Theory (FCT) 1993, 1999, 2003
- for Colloquium on Trees in Algebra and Programming (CAAP) 1994, 1995
- for Mathematical Foundations of Computer Science (MFCS) 1995, 1997, 2000, 2001, 2003, 2004, 2005, 2006, 2009, 2010
- for Conference on Words 1997, 1999, 2001, 2003 (main organizer), 2005, 2007, 2009
- for Developments in Language Theory (DLT) 1993, 2002, 2003, 2005, 2006, 2007 (main organizer), 2009, 2010
- for Satelite Conference "Recent Trends in Formal Languages" to ICALP 1997
- for Mathematical Foundations of Informatics (Hanoi) 1999
- for Conference on Words, Languages and Combinatorics (Kyoto) 2000
- for 9eme Journees Montoises d'Informatique Theorique (Montpellier) 2002
- for Conference on Implementation and Applications of Automata (Santa Barbara) 2003, 2004, 2006, 2007, 2008, 2009
- for International Visitors Program 2006-2007 (main organizer)
- for Sofsem 2008 (PC chair of foundation track)
- for Theoretical Computer Science 2008, a satellite event for World Computer Conference (WCC) in Milan (PC chair of Algorithms, Complexity and Models of Computation track)
- for Reachability Problems Workshop, 2008, 2009, 2010
Board member:
- of European Association for Theoretical Computer Science (EATCS), 1994-
- of national Slovak committee granting Dr. of Science degrees in computer science 1998-
- of European Educational Forum (EEF), 1997-
- of Gödel Prize Committee, 2002-2004 (chairman in 2004)
- of Steering Committee of Words, 2003-
- of Steering Committee of CSR (Computer Science in Russia), 2005-
- of Steering Committee of DLT (Developments in Language Theory), 2008-
