ウルスラ・マーティン

ウルスラ・ヒルダ・メアリー・マーティン（1953年8月3日生まれ）はイギリスのコンピュータ科学者であり、理論計算機科学と形式手法を研究対象としている。彼女はまた、コンピューティングと数学の分野で女性を奨励することを目的とした活動でも知られている。2019年以来、彼女はエディンバラ大学情報学部の教授を務めている。^{[2] [3] [4] [5] [6]}

マーティンは2014年から2018年までオックスフォード大学コンピュータサイエンス学部のコンピュータサイエンス教授を務め、EPSRCエスタブリッシュドキャリアフェローシップも保有しています。それ以前はロンドン大学クイーン・メアリー校の電子工学・コンピュータサイエンス学部のコンピュータサイエンス学科長を務め、2005年から2009年までは同校の科学・工学部副学長を務めていました。^[7]

マーティンは1953年8月3日、ロンドンでアン・ルイーズ（旧姓プリーストマン）とジェフリー・リチャード・マーティン大尉の子として生まれた。^[8]マルバーン・ウェルズのアビー・カレッジで教育を受けた。1975年にケンブリッジ大学ガートン・カレッジで修士号を取得し、1979年にウォーリック大学で博士号を取得した。いずれも数学専攻。^{[9] [8] [1]}

マーティンは群論の研究から数学を始め、後に文字列書き換えシステムに移った。^{[10]彼女は}イリノイ大学アーバナ・シャンペーン校、マンチェスター大学、ロンドン大学ロイヤル・ホロウェイ校で教授職を歴任した。 彼女はマサチューセッツ工科大学とSRIインターナショナル（メンロパーク）を長期休暇で訪れたことがある。 2004年にはオックスフォードインターネット研究所の客員研究員を務めた。^[11]

1992年から2002年まで、マーティンはスコットランドのセントアンドリュース大学でコンピュータサイエンスの教授を務めた。彼女は、1411年の大学創立以来、マーガレット・フェアリー（1940年産婦人科教授）に続いて、同大学で2人目の女性教授であった。^{[12] [13]}

2003年から2005年にかけて、マーティンはケンブリッジ大学コンピュータ研究所にパートタイムで出向し、マイクロソフトリサーチとインテルケンブリッジリサーチの支援を受けたWomen@CLプロジェクト^{[14]のディレクターを務め、}コンピューティング分野の女性のための地域、国内、国際的な取り組みを主導しました。彼女はケンブリッジのニューナムカレッジのフェローでもありました。

マーティンは、 Annals of Pure and Applied Logic誌 ( Elsevier社発行)の諮問編集者を務め、 The Journal of Computation and Mathematics (ロンドン数学会) およびFormal Aspects of Computing ( Springer-Verlag )の編集委員も務めています。

彼女の出版物には以下のものがあります。

• クリストファー・ホリングス、エイドリアン・ライス共著『エイダ・ラブレス：コンピューター科学者の誕生』オックスフォード：ボドリアン図書館、2018年、114ページ、ISBN  978-1851244881

マーティンは、 2012年の新年叙勲でコンピュータサイエンスへの貢献が認められ、大英帝国勲章（CBE）を授与された。 ^{[15] 2017年には}、エディンバラ王立協会（FRSE）^[16]と王立工学アカデミー（FREng）の会員に選出された。 ^[17]