Kai Salomaa

Kai Salomaa
Urodzić się	Finlandia
Alma Mater	Uniwersytet w Turku
Znany z	formalna teoria języka złożoność stanu
Kariera naukowa
Pola	Teoria automatów
Instytucje	Uniwersytet Królowej
Praca dyplomowa	Sklepy naprzemienne i przesuwane w dół w obliczeniach automatów drzewnych (1989)
Doradca doktorski	Magnusa Steinby'ego Książka Ronalda V

Kai T. Salomaa jest fińskim kanadyjskim informatykiem-teoretykiem , znanym z licznych wkładów w złożoność stanów automatów skończonych . Jego często cytowany wspólny artykuł z 1994 roku z Yu i Zhuangiem położył podwaliny pod ten obszar. Opublikował ponad 100 artykułów w czasopismach naukowych na różne tematy z teorii języka formalnego . Salomaa jest profesorem zwyczajnym na Queen's University ( Kingston, Ontario ).

Biografia

Salomaa ukończył studia licencjackie na Uniwersytecie w Turku , gdzie uzyskał stopień doktora. stopień naukowy w 1989 r.; jego rozprawa była wspólnie nadzorowana przez Ronalda V. Booka i Magnusa Steinby'ego. W latach 90. Salomaa pracowała na University of Western Ontario . Od 1999 roku jest profesorem na Queen's University . Jego ojciec, Arto Salomaa , jest również wybitnym informatykiem z licznymi wkładami w dziedzinie teorii automatów i języków formalnych .

Linki zewnętrzne

• Oficjalna strona internetowa
• Kai Salomaa na serwerze bibliograficznym DBLP
• Kai Salomaa w Mathematics Genealogy Project