Hispanopedia Wiki
Articulo de referencia

Kaisa Sere

[[Åbo Akademi University]] [[Academy of Finland]] [[University of Kuopio]] [[Utrecht University]] [[Ohio State University]]"},"doctoral_students":{"wt":""},"notable_students":{"...

Hispanopedia WikiContenido en espanolLectura gratuita

Kaisa Sere (3 de junio de 1954 – 5 de diciembre de 2012 [ 1 ] ) fue una científica informática finlandesa , especializada en la investigación de métodos formales . [ 2 ] [ 3 ]

Kaisa Sere nació el 3 de junio de 1954 en Gamlakarleby . [ 1 ] Obtuvo una maestría en matemáticas en 1979 y un doctorado en informática en 1990, ambos de la Universidad Åbo Akademi en Turku , al sur de Finlandia. [ 3 ] Realizó investigaciones sobre métodos formales en sistemas de acción , sistemas distribuidos , diseño de hardware , redes neuronales y refinamiento de programas . Realizó investigaciones conjuntas con Ralph-Johan Back y participó en numerosos proyectos de investigación europeos en colaboración . También dirigió 19 tesis doctorales. [ 3 ] [ 4 ]

Durante 1984–5, Sere fue profesora en la Universidad Estatal de Ohio en los Estados Unidos . [ 3 ] Durante 1991–2, fue investigadora postdoctoral en el Departamento de Ciencias de la Computación de la Universidad de Utrecht en los Países Bajos . Durante 1993–8, ocupó una cátedra asociada en el Departamento de Ciencias de la Computación y Matemáticas Aplicadas de la Universidad de Kuopio en Finlandia. En 1997, se convirtió en Docente de Ciencias de la Computación en el mismo departamento. Durante 1998–9, ocupó una cátedra de investigación superior financiada por la Academia de Finlandia . En 1998, se convirtió en catedrática de Ciencias de la Computación e Ingeniería en el Departamento de Tecnologías de la Información de la Universidad Åbo Akademi. Ocupó un puesto de investigadora superior de la Academia de Finlandia durante 2010–11. Sere también estaba afiliado al Centro de Ciencias de la Computación de Turku (TUCS) y era miembro del Consejo de Investigación de Ciencias Naturales e Ingeniería de la Academia de Finlandia.

Publicaciones

Entre los libros de Sere se incluyen:

  • Emil Sekerinski y Kaisa Sere, Desarrollo de programas mediante refinamiento: estudios de caso con el método B. Springer -Verlag , Enfoques formales para la informática y la tecnología de la información (FACIT), 1998. ISBN 978-1-85233-053-8.
  • Michael Butler , Luigia Petre y Kaisa Sere (editores), Métodos formales integrados , Springer-Verlag, Lecture Notes in Computer Science , Volumen 2335, 2002. ISBN 978-3-540-43703-1.

Referencias

  1. ^ " Kaisa Sere 3.6.1954–5.12.2012" . Meddelanden Från Åbo Akademi . 2013 (1). 18 de enero de 2013 . Consultado el 13 de agosto de 2017 .
  2. ↑ "Kaisa Sere, Profesor" . Turku: Universidad Åbo Akademi . Archivado del original el 1 de febrero de 2014. Consultado el 20 de enero de 2013 .
  3. 1 2 3 4 Petre, Luigia; Troubitsyna, Elena; Waldén, Marina (marzo de 2014). "Kaisa Sere: In Memoriam" (PDF) . Formal Aspects of Computing . 26 (2): 197–201 . doi : 10.1007/s00165-013-0292-5 . ISSN 0934-5043 . S2CID 10980415. Recuperado el 13 de agosto de 2017 .  
  4. ↑ "Kaisa Sere" . Supervisores. Programas de posgrado . Centro de Ciencias de la Computación de Turku . Archivado del original el 14 de agosto de 2017. Recuperado el 13 de agosto de 2017 .
  • Sitio web oficial
  • Kaisa Sere en el servidor de bibliografía DBLP