スティーブ・シュナイダー | |
|---|---|
| 生まれる | |
| 市民権 | イギリス |
| 母校 | オックスフォード大学 |
| 知られている | 形式手法、コンピュータセキュリティ |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | ロンドン大学ロイヤル・ホロウェイ校、サリー大学 |
| 博士課程の指導教員 | G.マイク・リード[1] |
スティーブ・シュナイダー （FBCS、CITP）は、イギリスのコンピュータ科学者であり、セキュリティの教授です。[2]彼はサリー大学サイバーセキュリティセンターの所長であり、同大学の研究・企業担当副学部長です。[3]
バイオグラフィー
スティーブ・シュナイダーはオックスフォード大学で学び、オックスフォード大学コンピューティング研究所（現在のオックスフォード大学コンピュータサイエンス学部）に所属してCSPの博士号を取得し、1989年にマイク・リードの指導の下で学位を取得した。[1] [4]彼は1994年にロンドン大学ロイヤル・ホロウェイ校の講師となり、1999年に上級講師、2002年に教授となった。彼は2004年にサリー大学に移り、2004年から2010年までコンピュータサイエンス学部長を務めた。[3]
シュナイダーは、通信順次プロセス（CSP）やB法などの形式手法とコンピュータセキュリティの専門家です。[2]
選書
- シュナイダー、スティーブ（1999年）『並行システムとリアルタイムシステム：CSPアプローチ』John Wiley .
- ライアン、ピーターYA、シュナイダー、スティーブ、ゴールドスミス、マイケル、ロウ、ギャビン、ロスコー、ビル(2000).『セキュリティプロトコルのモデリングと分析』ピアソン・エデュケーション.
- シュナイダー、スティーブ（2001年）『Bメソッド入門』『コンピュータサイエンスの礎』パルグレイブ社、ISBN 0-333-79284-X。
参考文献
- ^ ab 数学系譜プロジェクトのスティーブ・シュナイダー
- ^ ab "Steve Schneider".王立協会. 2016年12月9日閲覧。
- ^ ab 「学部が新しい准学部長（研究・事業部門）を任命」。ニュースと特集。英国：サリー大学。 2016年12月9日閲覧。
- ^ シュナイダー、スティーブン A. (1989)、「リアルタイムシステムにおける正確性と通信」、D.Phil 論文、英国：オックスフォード大学
外部リンク
- スティーブ・シュナイダーのサリー大学のホームページ
