Loading article…
マリーケ・フイスマン | |
|---|---|
.jpg/500px-Marieke_Huisman_(crop).jpg) 2019年のマリーケ・フイスマン | |
| 生まれる | 1973年5月3日 |
| 市民権 | オランダ語 |
| 母校 | ユトレヒト大学 |
| 知られている | ソフトウェア信頼性、VerCors ツールセット |
| 科学者としてのキャリア | |
| 博士課程の指導教員 | ヘンク・バレンドレヒト |
マリーケ・フイスマン（1973年5月3日、オランダ、ユトレヒト生まれ[1]）は、オランダのコンピュータ科学者であり、トゥエンテ大学のソフトウェア信頼性の教授であり、形式手法とツールグループを率いています。[2]
キャリア
フイスマンは1996年にユトレヒト大学を卒業した。[3]彼女は2001年にナイメーヘン・ラドバウド大学で博士号を取得した。彼女の博士論文「PVSとIsabelleを用いた高階論理によるJavaプログラムの推論」はヘンク・バレンドレグトが指導した。[1]
2001年から2008年までフランスのINRIAソフィアアンティポリス研究センターで働き、その後オランダのトゥエンテ大学に加わった。 [2]フイスマンは2010年にERCスタートアップ助成金[4]、2017年にNWOヴィシ助成金を受賞した。 [5] 2013年にオランダICT研究賞[6] [7]、2014年にデ・ウィンター教授賞を受賞した。 [8]
2017年7月より、フイスマンはトゥエンテ大学の教授を務めている。[9] [10] [11]彼女は2021年1月26日に「すべての人のためのソフトウェアの信頼性」と題した就任講演を行った。 [12 ] [13 ]
フイスマン氏は、オランダのソフトウェアエンジニアリング協会VERSEN（VEReniging Software Engineering Nederland）の会長であり、[14]トゥエンテ大学の理事会に多様性政策について助言するアンバサダーネットワークの会長であり、[15]オランダデジタル市民財団Stichting Digitaal Burgerschap Nederlandの理事でもある[16]。
受賞と栄誉
参考文献
- ^ ab Huisman, Marieke (2001 年 2 月 1 日). PVS と Isabelle を使用した高階論理による Java プログラムの推論 (博士論文).ナイメーヘン ラドバウド大学. ISBN 90-9014440-4。
- ^ ab "注目の科学者: マリケ・ユイスマン".トゥエンテ大学。2021 年1 月 26 日に取得。
- ^ Marieke Huisman (1996 年 7 月).多型パーサーの計算(修士論文).ユトレヒト大学. CiteSeerX 10.1.1.57.6537 .
- ^ 「並行データ構造の検証」 。 2021年1月26日閲覧。
- ^ “Vici-beurs voor Huisman en Brinkman”.今日はU。 2017 年 2 月 17 日。2021 年1 月 26 日に取得。
- ^ 「オランダICT研究賞」 。 2021年1月26日閲覧。
- ^ "ICT-Prijs van € 50.000、- Marieke Huisman (UT) より". Koninklijke Hollandsche Maatschappij der Wetenschappen。 2013年。2021 年1 月 26 日に取得。
- ^ 「デ・ウィンタープリス教授」（オランダ語）。トゥエンテ大学。2021 年1 月 26 日に取得。
- ^ ニーケ・ルース (2018 年 3 月 27 日)。 「インタビュー: Betere ソフトウェアと meer vrouwen の出会い」 (オランダ語)。ビッツ&チップス。2021 年1 月 26 日に取得。
- ^ “Westerdijk-Impuls: Extra inzet voor vrouwelijke hoogleraren” (オランダ語)。トゥエンテ大学。 2018 年 3 月 8 日。2021 年1 月 26 日に取得。
- ^ デビッド・レデカー (2017). 「ソフトウェア詳細説明」(PDF)。I/O マガジン(オランダ語)。14 (4)。 IPN (オランダの ICT 研究プラットフォーム): 18–19 。2021 年1 月 26 日に取得。
- ^ Michaela Nesvarova (2018年1月25日). 「ソフトウェアはどこにでもある」. U today . 2021年1月26日閲覧。
- ^ “就任講演 マリケ・ユイスマン教授博士”.トゥエンテ大学。2021 年1 月 26 日に取得。
- ^ “VERSEN 理事会”.ヴェルセン。2021 年1 月 26 日に取得。
- ^ Kuipers, Rense (2020年7月15日). 「Ambassadors' Network looks beyond gender」U today . 2021年1月26日閲覧。
- ^ 「Marieke Huisman Treedt toe tot bestuur」（オランダ語）。スティッチング デジタル バーガーシャップ オランダ。2021 年1 月 26 日に取得。
外部リンク
- プロフィールページ（トゥエンテ大学）
- ホームページ Marieke Huisman (トゥエンテ大学)
- Google Scholarによってインデックス付けされた Marieke Huisman の出版物