Loading article…
アンダース・P・ラヴン | |
|---|---|
 | |
| 生まれる | 1947年10月29日 |
| 死亡 | 2019年8月1日（享年71歳） |
| 市民権 | デンマーク語 |
| 母校 | コペンハーゲン大学 デンマーク工科大学 |
| 知られている | 期間計算 |
| 配偶者 | アンメット・リンド |
| 受賞歴 | ブリンチ名誉賞 (1996 年) ダンネブログ勲章(2015 年) |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス、ソフトウェアエンジニアリング、形式手法 |
| 機関 | コペンハーゲン大学 デンマーク工科大学 オールボー大学 |
| Webサイト | 人民.cs.aau.dk/~apr |
アンダース・ペーター・ラヴン（1947年10月29日 - 2019年8月1日）はデンマークの コンピュータ科学者であった。[1] [2]
アンダース・P・ラヴンは1947年にベネズエラのカラカスで、ニールスとヘニー（ソンダー）ラヴンの息子として生まれました。 [1] [2]彼は1948年にデンマークに移住しました。ラヴンは1973年にコペンハーゲン大学でコンピュータサイエンスと数学の理学修士号（M.Sc.）を取得し、 1995年にはデンマーク工科大学でコンピュータサイエンスの技術博士号（Dr.Tech.）を取得しました。 [3]
1969年から1973年まで、アンダース・ラヴンはコペンハーゲン大学（DIKU）のコンピュータサイエンス学部で助手を務めた。 [3] 1972年から1976年まで、デンマークの初期のコンピュータ会社であるA/S Regnecentralenでミニコンピュータのシステムプログラマーを務めた。学界に戻り、 DIKUで助教授（1976年～1980年）から准教授（1980年～1984年）に昇進した。1982年～1983年、米国ニューヨーク州ヨークタウンハイツにあるIBMのトーマス・J・ワトソン研究所の客員研究員を務めた。デンマーク工科大学（ID - DTH）のコンピュータサイエンス学部に講師（1984年～1989年）として加わり、続いて情報技術学部の講師（1989年～1999年）を務めた。この間、デンマーク王立獣医農業大学数学科の非常勤講師（1985–89年）、オックスフォード大学の客員研究員（1989–90年）、ドイツのキール大学実用数学・情報学研究所の客員教授（1994年）も務めた。[3]証明可能正しいシステムに関するESPRIT ProCoSプロジェクトに参加した。オールボー大学コンピュータサイエンス学科の研究教授（1999–2004年）を務めた後、同大学のコンピューティングサイエンス教授（2004–16年）に任命された。その後退職し、名誉教授となった。
ラヴンは形式手法の研究を専門とし、特に組み込みシステムとハイブリッドシステムを対象としている。[4]特に、周超塵とトニー・ホアとともにリアルタイムシステムのための持続計算の開発に取り組んだ。
彼は1972年にデンマークデータロジ協会（DSfD）の会員となり、 1983年にはAssociation for Computing Machinery（ACM）の会員となり、IEEE Computer Societyの終身会員となった。[3]また、2002年からはIFIPワーキンググループ2.2（プログラミング概念の形式的記述をカバー） のメンバーでもあった。
アンダース・ラヴンは1996年にウルリク・ブリンチとマリー・ブリンチから名誉賞を受賞した。[3] 2015年にはダンネブロー騎士団の騎士に叙せられた。[3] [5] 1973年8月31日にアンネメッテ・リンドと結婚し、2人の子供に恵まれた。[1] [2]ラヴンは2019年8月1日にコペンハーゲンで亡くなった。[6] [7]
主な出版物
ラヴンは多くの研究論文[5]を発表し、いくつかの本を編集した。[8]
- 周超塵; Hoare, CAR ; Ravn, Anders P. (1991). 「持続時間の計算」.情報処理レター. 40 (5): 269–276. doi :10.1016/0020-0190(91)90122-X.
- グロスマン、ロバート L. Nerode, アニル;ラヴン、アンダース P.リシェル、ハンス編。 （1993年）。ハイブリッド システム。コンピュータサイエンスの講義ノート。 Vol. 736.シュプリンガー・フェルラーグ土井：10.1007/3-540-57318-6。ISBN 978-3-540-57318-0.S2CID 199561 。
- Ravn, Anders P.; Rischel, Hans 編 (1998)。リアルタイムおよびフォールトトレラントシステムにおける形式的手法。コンピュータサイエンスの講義ノート。第 1486 巻。Springer-Verlag。doi : 10.1007/BFb0055330。ISBN 978-3-540-65003-4. S2CID 42726018。
- Liu, Zhiming ; Ravn, Anders P. 編 (2009)。検証と分析のための自動化技術。コンピュータサイエンスの講義ノート。第 5799 巻。Springer-Verlag。doi : 10.1007 /978-3-642-04761-9。ISBN 978-3-642-04760-2。
参考文献
- ^ abc 「アンダース・ピーター・ラヴン」.ベルリングスケ。デンマーク。 2019年8月6日。
- ^ abc 「アンダース・ピーター・ラヴン」.ポリティケン。デンマーク。 2019年8月6日。
- ^ abcdef ラヴン、アンダース P.「履歴書」。デンマーク:オールボー大学。2019 年8 月 3 日に取得。
- ^ 「アンダース・P・ラヴン」. DBLP 。2019 年8 月 3 日に取得。
- ^ ab 「履歴書 アンダース・P・ラヴン」。デンマーク:オールボー大学。2019 年8 月 3 日に取得。
- ^ “アンダース・ピーター・ラヴン 1947 – 2019”. afdoede.dk。デンマーク。2019 年8 月 6 日に取得。
- ^ Bowen, Jonathan P. (2020年6月). 「追悼: 形式手法の同僚5名へのトリビュート」(PDF) . FACS FACTS . 2020 (1). BCS-FACS : 13–29. doi :10.13140/RG.2.2.13481.62560.
- ^ 「アンダース・P・ラヴン」.アマゾン。2019 年8 月 3 日に取得。
外部リンク
ウィキメディア・コモンズには、アンダース・P・ラヴンに関連するメディアがあります。
- ホームページ
- ResearchGateの Anders P. Ravn 氏
- DBLPによる Anders P. Ravn 出版物インデックス
- Google Scholarにインデックスされた Anders P. Ravn の出版物
- デンマーク国立研究データベースに関するアンダース・P・ラヴン