Kai Salomaa

Kai Salomaa
Född	Finland
Alma mater	Åbo universitet
Känd för	formell språkteori statens komplexitet
Vetenskaplig karriär
Fält	Automatteori
institutioner	Queen's University
Avhandling	Alternation and Pushdown Stores in Computations of Tree Automata (1989)
Doktorand rådgivare	Magnus Steinby Boken Ronald V

Kai T. Salomaa är en finsk kanadensisk teoretisk datavetare , känd för sina många bidrag till tillståndskomplexiteten hos finita automater . Hans mycket citerade gemensamma papper från 1994 med Yu och Zhuang lade grunden till området. Han har publicerat över 100 artiklar i vetenskapliga tidskrifter om olika ämnen inom formell språkteori . Salomaa är professor vid Queen's University ( Kingston, Ontario) .

Biografi

Salomaa gjorde sina grundutbildningar vid Åbo universitet , där han har disputerat. examen 1989; hans avhandling handlades gemensamt av Ronald V. Book och Magnus Steinby. På 1990-talet arbetade Salomaa vid University of Western Ontario . Sedan 1999 har han en professorstjänst vid Queen's University . Hans far, Arto Salomaa , är också en framstående datavetare med många bidrag till områdena automatteori och formella språk .

externa länkar

• Officiell hemsida
• Kai Salomaa på DBLP Bibliography Server
• Kai Salomaa på Mathematics Genealogy Project