|
Arto Salomaa Arto Salomaa (* 6. Juni 1934 in Turku; † vor dem oder am 28. Januar 2025[1]) war ein finnischer Informatiker und Mathematiker. Leben und WerkSalomaa schloss sein Studium der Mathematik an der Universität Turku (an der sein Vater Philosophieprofessor war) 1954 mit dem M. A. ab, war 1956 bis 1957 an der University of California, Berkeley bei John Myhill und ab 1957 Assistent an der Universität Turku. Er erhielt 1959 das Lizenziat an der Universität Helsinki und wurde 1960 bei Kustaa Inkeri an der Universität Turku mit der Dissertation On the Composition of Functions of Several Variables Ranging Over a Finite Set promoviert.[2] Ab 1965 war er Professor für Mathematik an der Universität Oulu und ab 1966 in Turku. 1998 wurde er emeritiert. Salomaa war für seine Beiträge zur Automatentheorie und zur Theorie formaler Sprachen bekannt. Er war in Europa einer der Pioniere auf diesen Gebieten und Autor und Mitherausgeber zahlreicher Bücher. 1966 bis 1968 sowie 1981/82 war er Gastprofessor an der University of Western Ontario in Kanada und 1973 bis 1975 an der Universität Aarhus. 2004 erhielt Salomaa den EATCS-Award. 1979 bis 1985 war er Präsident der European Association for Theoretical Computer Science (EATCS). Er war vielfacher Ehrendoktor (außerhalb Finnlands bspw. in Bukarest, Szeged, Magdeburg, Graz, Riga und Iasi) und Mitglied der Finnischen Akademie der Wissenschaften. Ab 1975, 1989 und 1995 hatte er für jeweils vier Jahre eine Forschungsprofessur der Finnischen Akademie der Wissenschaften inne. 2001 wurde er einer der zwölf Fellows der Akademie. Ab 1992 war er ordentliches Mitglied der Academia Europaea.[3] Salomaa war seit 1959 verheiratet und hatte zwei Kinder. Schriften
WeblinksCommons: Arto Salomaa – Sammlung von Bildern, Videos und Audiodateien
Einzelnachweise
|
||||||||||||
Portal di Ensiklopedia Dunia
