Loading article…
アンドリュー・マーティンはイギリスのオックスフォード大学の英国人コンピュータ科学者であり、同大学のシステムセキュリティ教授、サイバーセキュリティ博士課程トレーニングセンター所長[1]（2013-2023）、ソフトウェアエンジニアリングプログラム副所長兼講師を務めています。[2] [3]彼はオックスフォード大学コンピュータサイエンス学部 に所属しています。
教育
彼はオックスフォード大学で数学と計算科学の学士号（1986-1989年）と ソフトウェア工学のための機械支援定理証明の博士号（1991-1994年）を取得しました。 [2] [3]
キャリア
学位取得後、バースのPraxis High Integrity Systemsに産業ソフトウェアエンジニアとして入社。[3] DPhil取得後、オーストラリアのクイーンズランド大学のソフトウェア検証研究センターの研究員に就任。[3] 1999年に現職に就く前は、サウサンプトン大学で短期間講師を務めていた。[3]
出版物
マーティンの出版物は、ソフトウェア工学、セキュリティ、トラステッドコンピューティング全般、特に形式手法をカバーしています[4] [5]
参考文献
- ^ 「サイバーセキュリティ博士課程トレーニングセンター」 。 2015年1月19日閲覧。
- ^ ab 「Dr Andrew Martin: Oxford University」2010年10月10日閲覧。
- ^ abcde 「アンドリュー・マーティン：オックスフォード大学」。2010年10月10日閲覧。
- ^ 「アンドリュー・マーティン博士の出版物：オックスフォード大学」 。 2010年10月10日閲覧。
- ^ Andrew Martin: 出版物リストの詳細、Scientific Commons。
外部リンク
- DBLP書誌サーバーの Andrew P. Martin