Loading article…
Martin Wirsing (1948 年 12 月 24 日、バイロイト生まれ) は、ドイツのコンピュータ科学者であり、ドイツのルートヴィヒ マクシミリアン大学ミュンヘンの教授です。
バイオグラフィー
ヴィルジングはルートヴィヒ・マクシミリアン大学ミュンヘン(LMU) とパリ第 7 大学で数学を学び、LMU で数学のディプロムを取得し、パリ第 7 大学で数学科学のディプロムを取得しました。[1]クルト・シュッテの監督のもと、彼は 1976 年に数理論理学のトピックに関する論文で LMU から博士号を取得しました(Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen)。[2] 1975 年から 1983 年にかけて、ミュンヘン工科大学のFL バウアー教授の研究助手を務め、1984 年に情報学のハビリテーションを修了しました。 1985年にウィルシングはパッサウ大学の教授兼情報学の学部長となり、1992年にLMUに戻ってプログラミングとソフトウェア工学の学部長に就任した。[3] [4]数年間、彼は学部長、学科長、副学長を務めた。 LMUの上院の議長。2010年よりLMUの教育研究担当副学長を務める。[5] 2016年7月、ロンドン大学ロイヤル・ホロウェイ校より理学博士号（名誉学位）を授与された。 [6] [7]
彼の研究対象は、ソフトウェア工学とその正式な基盤、自律的自己認識システム、大学のデジタル化です。2006年から2015年にかけて、サービス指向システムのソフトウェア工学に関する欧州の知的財産プロジェクトSENSORIA [8] (2006-2010) と集合的自律システムの工学に関するASCENS [9] (2010-2015) の調整に携わりました。2007年から2010年にかけて、Martin WirsingはINRIAの科学委員会の議長を務め、2014年から2017年にかけてはInstitut Mines-Télécomの科学委員会のメンバーでした。[10]現在、彼はマックスプランク精神医学研究所の理事会のメンバーであり、 [11]ボルドー大学とIMDEAソフトウェア研究所の科学委員会のメンバーでもあります。[13]彼は、Theoretical Computer Science（ジャーナル）、International Journal of Software and Informatics、Electronic Proceedings in Theoretical Computer Scienceなど、いくつかの科学雑誌や書籍シリーズの編集委員を務めています。
選ばれた論文と書籍
- マーティン・ワーシング (1978)。 「Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen」[単位記号と関数記号を備えた述語論理の小さな決定不可能なクラス]。Archiv für Mathematische Logik und Grundlagenforschung (ドイツ語)。19 (1): 97-109。土井：10.1007/BF02011871。S2CID 46605535。
- マンフレッド・ブロイ;マーティン・ワーシング (1982)。 「部分抽象型」。アクタ・インフォマティカ。18 (1): 47–64。土井：10.1007/BF00625280。S2CID 11391201。
- Wirsing, Martin (1986). 「構造化代数仕様: カーネル言語」.理論計算機科学. 42 : 123–249. doi : 10.1016/0304-3975(86)90051-4 .
- Martin Wirsing: 代数仕様。参照: J. van Leeuwen (編): Handbook of Theoretical Computer Science、アムステルダム、北オランダ、1990 年、675 ～ 788 ページ ( ISBN 978-0444880741 )
- バウアー、フリードリヒ・ルートヴィヒ;マーティン・ワーシング（1991年3月）。 Elementare Aussagenlogik (ドイツ語)。ベルリン / ハイデルベルク: Springer-Verlag。ISBN 3-540-52974-8。
- Pietro Cenciarelli、Alexander Knapp、Bernhard Reus、Martin Wirsing。マルチスレッド Java のイベントベースの構造的操作意味論。Jim Alves-Foss (編)：Java の形式構文と意味論、Lect. Notes Comp. Sci. 1523、ベルリン：Springer、1999、pp. 157–200 ( ISBN 978-3-540-48737-1 )
- Iman Poernomo、John Crossley、Martin Wirsing: Adapting Proofs-as-Programs: The Curry-Howard Protocol. Springer Monographs in Computer Science、2005 年、420 ページ ( ISBN 978-0-387-23759-6 )
- Martin Wirsing、Jean-Pierre Banatre、Matthias Hölzl、Axel Rauschmayer (編): ソフトウェア集約型システムと新しいコンピューティング パラダイム。コンピューターサイエンスの講義ノート 5380、シュプリンガーフェルラーク、2008 年、265 ページ ( ISBN 978-3-540-89436-0 )
- Martin Wirsing、Matthias Hölzl (編)：サービス指向システムのための厳密なソフトウェアエンジニアリング - サービス指向コンピューティングのためのソフトウェアエンジニアリングに関する SENSORIA プロジェクトの結果。Lecture Notes in Computer Science 6582、Springer 2011、737 ページ ( ISBN 978-3-642-20400-5 )
- Jonas Eckhardt、Tobias Mühlbauer、Musab AlTurki、José Meseguer、Martin Wirsing: 形式パターンによるサービス拒否攻撃下における安定した可用性。Juan de Lara、Andrea Zisman (編) : ソフトウェア エンジニアリングへの基本的なアプローチ - 第 15 回国際会議、FASE 2012。Lecture Notes in Computer Science 7212、Springer 2012、pp. 78–93 ( ISBN 978-3-642-28871-5 )
- Martin Wirsing、Matthias Hölzl、Nora Koch、Philip Mayer (編)。集団自律システムのソフトウェアエンジニアリング: ASCENS プロジェクトの結果、Vol. 8998 LNCS、Springer、2015、533 ページ ( ISBN 978-3-319-16309-3 )
- Lenz Belzner、Rolf Hennicker、Martin Wirsing: OnPlan: シミュレーションベースのオンライン計画のためのフレームワーク。Christiano Braga、Peter Csaba Ölveczky: コンポーネント ソフトウェアの形式的側面 - 第 12 回国際会議、FACS 2015、ブラジル、ニテロイ、2015 年 10 月 14 ～ 16 日、改訂版選定論文。Lecture Notes in Computer Science 9539、Springer 2016、pp. 1 ～ 30 ( ISBN 978-3-319-28933-5 )
外部リンク
- ホームページ[14]
- LMUのホームページ[15]
- Rocco De Nicola、Rolf Hennicker (編)：ソフトウェア、サービス、システム - プログラミングおよびソフトウェア エンジニアリングの教授職を退任した Martin Wirsing に捧げるエッセイ。Lecture Notes in Computer Science 8950、Springer 2015、ISBN 978-3-319-15544-9
- マーティン・ヴィルシング[16]の出版物はトリーア大学のDBLP書誌サーバーに索引付けされている。
参考文献
- ^ デ・ニコラ、ロッコ;ヘニッカー、ロルフ (2015)。 「マーティン・ワーシングへのオマージュ」。デ・ニコラ、ロッコで。ヘニッカー、ロルフ (編)。ソフトウェア、サービス、およびシステム。コンピュータサイエンスシリーズの講義ノート。 Vol. 8950。シュプリンガー・インターナショナル・パブリッシング。 1 ～ 12 ページ。ISBN 978-3-319-15545-6。
- ^ 数学系譜プロジェクトの Martin Wirsing 氏。
- ^ デ・ニコラ、ロッコ;ヘニッカー、ロルフ (2015)。 「マーティン・ワーシングへのオマージュ」。デ・ニコラ、ロッコで。ヘニッカー、ロルフ (編)。ソフトウェア、サービス、およびシステム。コンピュータサイエンスシリーズの講義ノート。 Vol. 8950。シュプリンガー・インターナショナル・パブリッシング。 1 ～ 12 ページ。ISBN 978-3-319-15545-6。
- ^ ヘルツル、マティアス M.コッホ、ノラ。メイヤー、フィリップ。シュローダー、アンドレアス。ベルツナー、レンツ。ブッシュ、マリアンヌ。ファッシング、アントン。クラール、アナベル。クロイス、クリスチャン。レイド、レイド (2015)。 「PSTへのオード」。デ・ニコラ、ロッコで。ヘニッカー、ロルフ (編)。ソフトウェア、サービス、およびシステム。コンピュータサイエンスシリーズの講義ノート。 Vol. 8950。シュプリンガー・インターナショナル・パブリッシング。 13～23ページ。ISBN 978-3-319-15545-6。
- ^ 「LMUに3人の新副学長（ドイツ語）」LMUミュンヘンAktuelles。2010年7月27日。 2018年9月7日閲覧。
- ^ 「夏の卒業式で名誉学位が授与される」。ロイヤル・ホロウェイ・カレッジ・ニュース。2016年7月21日。2016年8月1日時点のオリジナルよりアーカイブ。 2016年8月1日閲覧。
- ^ 「マーティン・ヴィルシング氏に名誉博士号」LMUミュンヘンニュース。2016年7月21日。 2016年8月1日閲覧。
- ^ Wirsing, Martin; Hölzl, Matthias M. 編 (2011)。サービス指向システムのための厳密なソフトウェアエンジニアリング - サービス指向コンピューティングのためのソフトウェアエンジニアリングに関する SENSORIA プロジェクトの結果。コンピュータサイエンスシリーズの講義ノート。第 6582 巻。Springer Science +Business Media。ISBN 978-3-642-20400-5。
- ^ Wirsing, Martin; Hölzl, Matthias M.; Koch, Nora; Mayer, Philip, 編 (2015).集団自律システムのソフトウェアエンジニアリング - ASCENS アプローチ. コンピュータサイエンスシリーズの講義ノート. 第 8998 巻. Springer Science+Business Media . ISBN 978-3-319-16309-3。
- ^ “Conseil Scientifique de l'Institut Mines-Télécom”.鉱山テレコム研究所。 2016 年 9 月 11 日にオリジナルからアーカイブされました。2017 年 6 月 2 日に取得。
- ^ 「マックス・プランク精神医学研究所 - 評議員会」マックス・プランク精神医学研究所。2016年9月11日時点のオリジナルよりアーカイブ。 2018年9月10日閲覧。
- ^ “ボルドー大学優秀イニシアチブ戦略委員会”.ボルドー大学。2016 年 12 月 3 日に取得。
- ^ 「IMDEAソフトウェア科学諮問委員会」。IMDEAソフトウェア研究所。2016年8月16日閲覧。
- ^ “ミュンヘン大学、教授、博士、マーティン・ヴィルシング博士”.
- ^ 「組織構造」.
- ^ 「DBLP: マーティン・ウィルシング」.