Как вы?
Как вы? | |
|---|---|
| Рожденный | 3 июня 1954 г. |
| Умер | 5 декабря 2012 г. (58 лет) |
| Национальность | финский |
| Академическое образование | |
| Альма-матер | Университет Академии Або |
| Академическая работа | |
| Дисциплина | Информатика |
| Субдисциплина | Формальные методы |
| Учреждения | Центр компьютерных наук Турку Университет Академии Або Академия Финляндии Университет Куопио Утрехтский университет Университет штата Огайо |
Кайса Сере (3 июня 1954 г. - 5 декабря 2012 г.) [ 1 ] ) — финский ученый-компьютерщик, специализировавшийся на исследованиях формальных методов . [ 2 ] [ 3 ]
Кайса Сере родилась 3 июня 1954 года в Гамлакарлебю . [ 1 ] Она получила степень магистра математики в 1979 году и доктора компьютерных наук в 1990 году в Университете Або Академи в Турку , южная Финляндия. [ 3 ] Она проводила исследования формальных методов в системах действий , распределенных системах , проектировании аппаратного обеспечения , нейронных сетях и совершенствовании программ . Она проводила совместные исследования с Ральфом-Йоханом Баком и участвовала во многих совместных европейских исследовательских проектах. Она также руководила 19 аспирантами. [ 3 ] [ 4 ]
В 1984–1985 годах Сер преподавал в Университете штата Огайо в США . [ 3 ] В 1991–1992 годах она работала научным сотрудником на кафедре компьютерных наук Утрехтского университета в Нидерландах . В 1993–1998 годах она занимала должность доцента кафедры компьютерных наук и прикладной математики Университета Куопио в Финляндии. В 1997 году она стала доцентом компьютерных наук на том же факультете. В 1998–99 годах она занимала должность старшего научного профессора, финансируемую Академией Финляндии . В 1998 году она стала профессором компьютерных наук и инженерии на факультете информационных технологий Университета Або Академи. В 2010–2011 годах она занимала должность старшего научного сотрудника Академии Финляндии. Сере также был связан с Центром компьютерных наук Турку (TUCS) и членом Научно-исследовательского совета по естественным наукам и инженерии Академии Финляндии. [ нужна ссылка ]
Публикации
[ редактировать ]Книги Сера включали:
- Эмиль Секерински и Кайса Сере, Разработка программы путем усовершенствования: тематические исследования с использованием метода B. Спрингер-Верлаг , Формальные подходы к вычислительной технике и информационным технологиям (FACIT), 1998. ISBN 978-1-85233-053-8 .
- Майкл Батлер , Луиджия Петре и Кайса Сере (редакторы), Интегрированные формальные методы , Springer-Verlag, Конспекты лекций по информатике , Том 2335, 2002. ISBN 978-3-540-43703-1 .
Ссылки
[ редактировать ]- ^ Jump up to: а б «Кайса Сере 3.6.1954–5.12.2012» . Объявления от Åbo Akademi . 2013 (1). 18 января 2013 года . Проверено 13 августа 2017 г.
- ^ «Кайса Сере, профессор» . Турку: Академический университет Або . Проверено 20 января 2013 г.
- ^ Jump up to: а б с д Петре, Луиджия; Трубицына, Елена; Вальден, Марина (март 2014 г.). «Каиса Сере: Памяти» (PDF) . Формальные аспекты вычислений . 26 (2): 197–201. дои : 10.1007/s00165-013-0292-5 . ISSN 0934-5043 . S2CID 10980415 . Проверено 13 августа 2017 г.
- ^ «Кайса Сере» . Руководители. Последипломные программы . Центр компьютерных наук Турку . Проверено 13 августа 2017 г.
Внешние ссылки
[ редактировать ]- Официальный сайт
- Кайса Сере на DBLP библиографическом сервере
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |