stringtranslate.com

Juhani Karhumäki

Eero Urho Juhani Karhumäki [1] (nacido en 1949) es un matemático y científico informático teórico finlandés conocido por sus contribuciones a la teoría de autómatas . Es profesor en la Universidad de Turku, en el suroeste de Finlandia .

Biografía

Karhumäki obtuvo su doctorado en la Universidad de Turku en 1976. Entre 1980 y 1985 fue investigador adjunto de la Academia de Finlandia . Desde 1986 ha ocupado puestos de profesor en la Universidad de Turku , alcanzando la cátedra titular en 1998. Entre 1998 y 2015, Karhumäki fue director del departamento de matemáticas de la Universidad de Turku . Ha escrito en total alrededor de 200 artículos de investigación.

Karhumäki es miembro de la Academia Finlandesa de Ciencias y Letras desde 2000 y de la Academia Europaea desde 2006. En 2009 se publicó un homenaje en su honor en un número especial de Theoretical Computer Science . [2]

Contribuciones a la investigación

Karhumäki ha sido miembro del grupo de matemáticos Lothaire que desarrolló las bases de la combinatoria de palabras. En 1991, junto con Tero Harju, resolvió el antiguo problema de equivalencia para autómatas finitos multicinta en la teoría de autómatas. [3] Karhumäki contribuyó a diferentes áreas de la teoría del lenguaje formal , como las ecuaciones de palabras , [4] las ecuaciones del lenguaje [5] y la complejidad descriptiva de los autómatas finitos. [6]

Referencias

  1. ^ "Luonnontieteiden ja tekniikan tiedekunnan yksiköt".
  2. ^ "Prefacio". Ciencias Informáticas Teóricas . 410 (30–32): 2785–2794. 2009. doi : 10.1016/j.tcs.2009.04.014 . ISSN  0304-3975.
  3. ^ Harju, T.; Karhumäki, J. (1991). "El problema de equivalencia de autómatas finitos multicinta". Ciencias Informáticas Teóricas . 78 (2): 347–355. doi : 10.1016/0304-3975(91)90356-7 . ISSN  0304-3975.
  4. ^ Karhumäki, Juhani; Mignosi, Filippo; Plandowski, Wojciech (2000). "La expresividad de los lenguajes y las relaciones mediante ecuaciones de palabras". Revista de la ACM . 47 (3): 483–505. doi : 10.1145/337244.337255 . ISSN  0004-5411. S2CID  16088773.
  5. ^ Karhumäki, Juhani; Petre, Ion (2002). "El problema de Conway para conjuntos de tres palabras". Ciencias Informáticas Teóricas . 289 (1): 705–725. doi : 10.1016/S0304-3975(01)00389-9 . ISSN  0304-3975.
  6. ^ Hromkovič, Juraj; Seibert, Sebastián; Karhumäki, Juhani; Klauck, Hartmut; Schnitger, Georg (2002). "Método de complejidad de la comunicación para medir el no determinismo en autómatas finitos". Información y Computación . 172 (2): 202–217. doi : 10.1006/inco.2001.3069 . ISSN  0890-5401.

Enlaces externos