カイサ・セレ

カイサ・セレ
生まれる	（1954年6月3日）1954年6月3日 ガムラカールビー
死亡	2012年12月5日（2012年12月5日）（58歳）
学歴
母校	オーボアカデミー大学
学術研究
規律	コンピュータサイエンス
サブ分野	形式手法
機関	トゥルクコンピュータサイエンスセンター、オーボアカデミー大学、フィンランドアカデミー、クオピオ大学、ユトレヒト大学、オハイオ州立大学

カイサ・セレ（1954年6月3日 - 2012年12月5日^{[ 1 ]}）は、形式手法の研究を専門とするフィンランドのコンピュータ科学者であった。^{[ 2 ] [ 3 ]}

カイサ・セレは1954年6月3日、ガムラカルレビーに生まれました。^{[ 1 ]}彼女は1979年にフィンランド南部トゥルクのオーボアカデミー大学で数学の修士号、1990年にコンピュータサイエンスの博士号を取得しました。^{[ 3 ]}彼女はアクションシステム、分散システム、ハードウェア設計、ニューラルネットワーク、プログラム改良における形式手法の研究に従事しました。彼女はラルフ＝ヨハン・バックと共同研究を行い、多くのヨーロッパの共同研究プロジェクトに参加しました。また、19人の博士課程の学生を指導しました。^{[ 3 ] [ 4 ]}

1984年から1985年にかけて、セレは米国オハイオ州立大学で講師を務めた。^{[ 3 ]} 1991年から1992年にかけて、彼女はオランダのユトレヒト大学コンピュータサイエンス学部の博士研究員であった。1993年から1998年にかけて、彼女はフィンランドのクオピオ大学コンピュータサイエンスおよび応用数学科で准教授を務めた。1997年に、彼女は同学科のコンピュータサイエンスの講師になった。1998年から1999年にかけて、彼女はフィンランド科学アカデミーによって資金提供を受ける上級研究教授を務めた。1998年、彼女はオーボアカデミー大学情報技術学部のコンピュータサイエンスおよびエンジニアリングの教授になった。彼女は2010年から2011年にかけて、フィンランド科学アカデミーの上級研究員を務めた。セレ氏はトゥルクコンピュータサイエンスセンター（TUCS）にも所属し、フィンランド科学アカデミーの自然科学および工学研究評議会のメンバーでもありました。

出版物

セレの著書には以下のものがある。

• エミル・セケリンスキー、カイサ・セレ著『プログラム開発による洗練：Bメソッドを用いたケーススタディ』Springer-Verlag、コンピューティングと情報技術への形式的アプローチ（FACIT）、1998年。ISBN 978-1-85233-053-8。
• Michael Butler、Luigia Petre、Kaisa Sere（編）、Integrated Formal Methods、Springer-Verlag、Lecture Notes in Computer Science、第2335巻、2002年。ISBN 978-3-540-43703-1。

参考文献

1. "カイサ セレ 1954 年 6 月 3 日 – 2012 年 12 月 5 日"。メデランデン・フラン・オーボ・アカデミ。2013年(1)。 2013 年 1 月 18 日。2017 年8 月 13 日に取得。
2. 「Kaisa Sere教授」 . トゥルク：オーボ・アカデミー大学. 2014年2月1日時点のオリジナルよりアーカイブ。 2013年1月20日閲覧。
3. ペトレ、ルイージ;トロビツィナ、エレナ。マリーナ、ワルデン（2014 年 3 月）。「カイサ・セレ：追悼」（PDF）。コンピューティングの形式的な側面。26 (2): 197–201。土井: 10.1007/s00165-013-0292-5。ISSN 0934-5043。S2CID 10980415 。2017 年8 月 13 日に取得。  
4. "Kaisa Sere" . スーパーバイザー.大学院プログラム.トゥルクコンピュータサイエンスセンター. 2017年8月14日時点のオリジナルよりアーカイブ。 2017年8月13日閲覧。

外部リンク

• 公式サイト
• DBLP書誌サーバーのKaisa Sere