Loading article…
スーザン・アイゼンバッハ | |
|---|---|
 | |
| 母校 | ヴァッサー大学 |
| 科学者としてのキャリア | |
| フィールド | プログラミング言語 並行性 テスト 検証 スマート コントラクト[1] |
| 機関 | インペリアル・カレッジ・ロンドン |
| 博士課程の学生 | ディオミディス・スピネリス[2] [3] |
| Webサイト | www. Imperial.ac.uk/people/s.eisenbach |
スーザン・アイゼンバッハは、インペリアル・カレッジ・ロンドンのコンピュータサイエンスの名誉教授です。彼女の研究は、適切に動作する優れたソフトウェアシステムを作成するための手法を調査しています。[4] [1]
教育
アイゼンバッハはヴァッサー大学で数学の学士号を取得しました。[5]彼女は学校の数学教師として働く前に、ロンドン大学で数理論理学とコンピュータサイエンスの修士号を取得しました。 [5]
キャリアと研究
アイゼンバッハは1983年9月にインペリアル・カレッジ・ロンドンの計算科学科に入局した。1994年に学部長に任命され、15年間その職を務め、教育全般の責任を負った。[6] 2010年には大学全体の教育学部長に就任した。 [7] 2011年1月には計算科学科長に任命され、2016年9月にその職を退いた。[8]現在[いつ? ]大学評議会の選出メンバーである。ディオミディス・スピネリス[3]など多数の博士課程の学生を指導してきた。 [2] [9]
彼女はプログラミングに関する本を数冊出版している。1981年にはPASCAL for Programmersを出版した。[10] 1989年にはProgram Design With Modula-2を出版した。[11] 1994年にはReasoned Programmingを出版した。 [12]アイゼンバッハの研究は、適切に動作する並行プログラムの作成方法に焦点を当てている。[13] [4] [14] [15]
彼女は学生コミュニティの起業家精神を擁護してきた。[16]彼女は、インペリアル・カレッジ・ロンドンの卒業生とYOOX Net-a-Porter Groupとのパートナーシップであるコンピュータ教育プログラムThe Turing Lab の顧問である。[17]アイゼンバッハは、2000年以来、テクノロジー分野における女性の不足について語ってきた。[18]彼女は、「コンピューターがそれほど人気がなかった頃は、女性の学生ははるかに多かった」と指摘した。[19]彼女は、 2013年にガーディアン紙が主催した、テクノロジー分野の仕事にもっと女性を登用する方法に関する討論会に参加した。[20]
参考文献
- ^ abスーザン・アイゼンバッハの出版物は Google Scholarによってインデックス付けされています
- ^ ab 数学系譜プロジェクトのスーザン・アイゼンバッハ
- ^ ab Spinellis, Diomidis (1994) .オブジェクトクラスとしてのプログラミングパラダイム: マルチパラダイムプログラミングの構造化メカニズム。london.ac.uk (博士論文)。ロンドン大学。OCLC 940344056。
- ^ ab スーザン・アイゼンバッハ、DBLP参考文献サーバーにて
- ^ ab 「教育の全体論的視点 - Reporter」Reporter 2010年4月29日。 2018年3月31日閲覧。
- ^ 「Home - Professor Susan Eisenbach」www.imperial.ac.uk . 2018年3月25日閲覧。
- ^ 「Who we consulted」インペリアル・カレッジ・ユニオン2014年6月20日2018年3月30日閲覧。
- ^ “サービス | スーザン・アイゼンバック教授”. wp.doc.ic.ac.uk 。2018 年3 月 25 日に取得。
- ^ Allwood, Tristan Oliver Richard (2011). 怠け者のプログラマのバグを見つける. imperial.ac.uk (博士論文). インペリアル・カレッジ・ロンドン. doi :10.25560/7095. hdl :10044/1/7095. OCLC 768069473. EThOS uk.bl.ethos.539251.
- ^ アイゼンバッハ、S. (1981)。プログラマーのためのパスカル。サドラー、C.（クリストファー）、1948-。ベルリン: Springer-Verlag。ISBN 9783540104735. OCLC 6981341.
- ^ Eisenbach, S. (1989). Modula-2 によるプログラム設計. Sadler, Chris. ウォキンガム、イギリス: Addison-Wesley. ISBN 978-0201175677. OCLC 24380788.
- ^ 「Reasoned Programming by Krysia B. Broda, Susan Eisenbach | Waterstones」www.waterstones.com 。 2018年3月25日閲覧。
- ^ 「論理と意味論セミナー - 2004年3月19日：スーザン・アイゼンバッハ」www.cl.cam.ac.uk . 2018年3月30日閲覧。
- ^ Eisenbach, Susan; Leavens, Gary T. (2001). 「特集: Java プログラムの形式技法」.並行性と計算: 実践と経験. 13 (13): 1121–1123. doi : 10.1002/cpe.595 . ISSN 1532-0634.
- ^ Association for Computing Machinery (ACM) (2016 年 9 月 26 日)、womENcourage 2016 - Programming Language Research and Technical Disruption 、 2018 年3 月 31 日閲覧
- ^ imperialentrepreneur (2011年12月8日)、スーザン・アイゼンバッハの紹介 - シリコンバレーがインペリアルにやってくる、 2018年3月31日閲覧。
- ^ 「BJSSとTuringlabが英国でSTEM教育を推進」。教育技術。 2018年3月25日閲覧。
- ^ 「女性の居場所はIT部門であるという事実に気づく」ガーディアン。2000年4月29日。 2018年3月30日閲覧。
- ^ 「コンピューティングは最高額の給与につながる」ガーディアン。1999年3月7日。 2018年3月31日閲覧。
- ^ ウィリアムズ、マーティン（2013年9月13日）。「テクノロジー業界にもっと女性を誘致するにはどうすればいいか？ – ライブチャット」ガーディアン。 2018年3月25日閲覧。