496:
246:
of
Computer Science and Engineering in the Department of Information Technology at Åbo Akademi University. She held a senior researcher position from the Academy of Finland during 2010–11. Sere was also affiliated with the
526:
238:
in
Finland. In 1997, she became a Docent of Computer Science in the same department in 1997. During 1998–9, she held a senior research professorship funded by the
541:
521:
546:
298:
276:
282:
453:
290:
248:
121:
551:
531:
234:. During 1993–8, she held an Associate Professorship at the Department of Computer Science and Applied Mathematics in the
536:
393:
356:
180:
125:
86:
251:(TUCS) and a member of the Research Council for Natural Sciences and Engineering for the Academy of Finland.
385:
219:
141:
445:
516:
511:
235:
133:
188:
420:
239:
227:
226:. During 1991–2, she was a post-doctoral researcher in the Department of Computer Science at the
204:
192:
137:
129:
412:
294:
272:
402:
208:
176:
101:
322:
268:
196:
495:
243:
200:
161:
111:
505:
223:
424:
168:
44:
231:
172:
407:
81:
416:
352:
271:, Formal Approaches to Computing and Information Technology (FACIT), 1998.
157:
212:
486:
265:
Program
Development by Refinement: Case Studies Using the B Method
479:
184:
490:
384:
Petre, Luigia; Troubitsyna, Elena; Waldén, Marina (March 2014).
187:, southern Finland. She undertook formal methods research in
215:
research projects. She also supervised 19 PhD students.
117:
107:
97:
92:
80:
75:
63:
51:
30:
23:
160:computer scientist, specialising in research into
379:
377:
375:
373:
317:
315:
8:
285:, Luigia Petre, and Kaisa Sere (editors),
494:
20:
406:
527:Academic staff of Åbo Akademi University
311:
211:and was involved in many collaborative
218:During 1984–5, Sere was a lecturer at
156:(3 June 1954 – 5 December 2012) was a
7:
207:. She undertook joint research with
167:Kaisa Sere was born 3 June 1954 in
14:
542:Finnish women computer scientists
454:Turku Centre for Computer Science
291:Lecture Notes in Computer Science
249:Turku Center for Computer Science
122:Turku Center for Computer Science
263:Emil Sekerinski and Kaisa Sere,
323:"Kaisa Sere 3.6.1954–5.12.2012"
1:
547:20th-century women scientists
522:Åbo Akademi University alumni
327:Meddelanden Från Åbo Akademi
394:Formal Aspects of Computing
568:
287:Integrated Formal Methods
16:Finnish computer scientist
408:10.1007/s00165-013-0292-5
386:"Kaisa Sere: In Memoriam"
171:. She received an MSc in
147:
71:
242:. In 1998, she became a
552:Finnish women academics
353:"Kaisa Sere, Professor"
259:Sere's books included:
357:Åbo Akademi University
181:Åbo Akademi University
126:Åbo Akademi University
87:Åbo Akademi University
532:Formal methods people
293:, Volume 2335, 2002.
220:Ohio State University
175:in 1979 and a PhD in
142:Ohio State University
493:Bibliography Server
333:(1). 18 January 2013
236:University of Kuopio
134:University of Kuopio
537:People from Kokkola
450:Graduate Programmes
289:, Springer-Verlag,
193:distributed systems
179:in 1990, both from
76:Academic background
240:Academy of Finland
228:Utrecht University
205:program refinement
138:Utrecht University
130:Academy of Finland
299:978-3-540-43703-1
277:978-1-85233-053-8
151:
150:
559:
498:
483:
482:
480:Official website
465:
464:
462:
460:
442:
436:
435:
433:
431:
410:
390:
381:
368:
367:
365:
363:
349:
343:
342:
340:
338:
319:
209:Ralph-Johan Back
177:computer science
102:Computer science
58:
40:
38:
21:
567:
566:
562:
561:
560:
558:
557:
556:
502:
501:
478:
477:
474:
469:
468:
458:
456:
448:. Supervisors.
444:
443:
439:
429:
427:
388:
383:
382:
371:
361:
359:
351:
350:
346:
336:
334:
321:
320:
313:
308:
269:Springer-Verlag
257:
201:neural networks
197:hardware design
140:
136:
132:
128:
124:
56:
55:5 December 2012
47:
42:
36:
34:
26:
17:
12:
11:
5:
565:
563:
555:
554:
549:
544:
539:
534:
529:
524:
519:
514:
504:
503:
500:
499:
484:
473:
472:External links
470:
467:
466:
437:
401:(2): 197–201.
369:
344:
310:
309:
307:
304:
303:
302:
283:Michael Butler
280:
256:
253:
244:full professor
189:action systems
162:formal methods
149:
148:
145:
144:
119:
115:
114:
112:Formal methods
109:
108:Sub-discipline
105:
104:
99:
95:
94:
90:
89:
84:
78:
77:
73:
72:
69:
68:
65:
61:
60:
59:(aged 58)
53:
49:
48:
43:
32:
28:
27:
24:
15:
13:
10:
9:
6:
4:
3:
2:
564:
553:
550:
548:
545:
543:
540:
538:
535:
533:
530:
528:
525:
523:
520:
518:
515:
513:
510:
509:
507:
497:
492:
488:
485:
481:
476:
475:
471:
455:
451:
447:
441:
438:
426:
422:
418:
414:
409:
404:
400:
396:
395:
387:
380:
378:
376:
374:
370:
358:
354:
348:
345:
332:
328:
324:
318:
316:
312:
305:
300:
296:
292:
288:
284:
281:
278:
274:
270:
266:
262:
261:
260:
254:
252:
250:
245:
241:
237:
233:
229:
225:
224:United States
221:
216:
214:
210:
206:
202:
198:
194:
190:
186:
182:
178:
174:
170:
165:
163:
159:
155:
146:
143:
139:
135:
131:
127:
123:
120:
116:
113:
110:
106:
103:
100:
96:
93:Academic work
91:
88:
85:
83:
79:
74:
70:
66:
62:
54:
50:
46:
33:
29:
22:
19:
457:. Retrieved
449:
446:"Kaisa Sere"
440:
428:. Retrieved
398:
392:
360:. Retrieved
347:
335:. Retrieved
330:
326:
286:
264:
258:
255:Publications
217:
169:Gamlakarleby
166:
153:
152:
118:Institutions
57:(2012-12-05)
45:Gamlakarleby
18:
517:2012 deaths
512:1954 births
232:Netherlands
173:mathematics
64:Nationality
41:3 June 1954
506:Categories
487:Kaisa Sere
362:20 January
306:References
154:Kaisa Sere
98:Discipline
82:Alma mater
37:1954-06-03
25:Kaisa Sere
459:13 August
430:13 August
417:0934-5043
355:. Turku:
337:13 August
425:10980415
213:European
230:in the
222:in the
158:Finnish
67:Finnish
423:
415:
297:
275:
203:, and
421:S2CID
389:(PDF)
185:Turku
491:DBLP
461:2017
432:2017
413:ISSN
364:2013
339:2017
331:2013
295:ISBN
273:ISBN
52:Died
31:Born
489:at
403:doi
183:in
508::
452:.
419:.
411:.
399:26
397:.
391:.
372:^
329:.
325:.
314:^
267:.
199:,
195:,
191:,
164:.
463:.
434:.
405::
366:.
341:.
301:.
279:.
39:)
35:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.