Loading article…
ハビエル・エスパルサ | |
|---|---|
| 生まれる | 1964年4月27日 パンプローナ、スペイン |
| 受賞歴 |
|
| 科学者としてのキャリア | |
| フィールド | |
| 機関 | |
| Webサイト | www7.in.tum.de/~esparza/ |
フランシスコ・ハビエル・エスパルサ・エスタウン（1964年4月27日、スペインのパンプローナ生まれ[1]）は、スペインのコンピュータ科学者であり、ミュンヘン工科大学の教授である。
教育
ハビエル・エスパルサ・エスタウンはサラゴサ大学で理論物理学の理学修士号（1987年）を取得。同大学でコンピュータサイエンスの博士号（1990年、自由選択ペトリネット）を取得。[2] [3] 1994年にヒルデスハイム大学でペトリネット展開の専門学位を取得。[4]
キャリア
ハビエル・エスパルサは、資格取得中および資格取得後、並行性理論とペトリネット理論に重点を置きました。彼は、ペトリネット構造理論と、ケネス・L・マクミランによって最初に提案された展開アプローチに重要な貢献をしました。[5]また、これらの主題に関する2冊の本の共著者でもあります。[6] [7]
学位取得後、ミュンヘン工科大学（1994-2001）の准教授に就任。その後、エディンバラ大学理論計算機科学科長（2001-2003）、シュトゥットガルト大学ソフトウェア信頼性・セキュリティ科長（2003-2007）を歴任。2007年以降は、再びミュンヘン工科大学でソフトウェア信頼性と理論計算機科学の基礎の学科長を務めている。[1]
彼はまた、ソフトウェアモデル検査、プログラム分析、無限状態システムの検証に対するオートマトン理論的アプローチにも貢献しています。最近では、パラメータ化システムと確率システムの検証に焦点を当てています。彼は前述の分野で250を超える査読付き科学論文[8]を発表しているほか、オートマトン理論へのアルゴリズム的アプローチに関する書籍（Michael Blondinとの共著）[9]も 出版しています。彼のグループでは、Moped [10]やjMoped、[11] Rabinizer、[12] Strix、[13] Peregrine [14]など、複数のソフトウェア検証ツールが開発されています。彼は2018年に欧州研究会議 から高度研究助成金を受賞し[15]、ほとんどが国際的な文脈での共同研究である20を超える研究プロジェクトの主任研究者を務めています。[1]彼はコンピュータサイエンスのカンファレンスで講演者として頻繁に招待されており、さまざまな専門プログラム、運営、選考委員会の委員長または委員を務めてきました。[1]
受賞と栄誉
ハビエル・エスパルザは、2009年にチェコ共和国ブルノのマサリク大学から情報学の名誉博士号を授与され、 [16] 2011年からはアカデミア・エウロパの会員に選出されています。[17]彼は、論文「プッシュダウンオートマトンの到達可能性分析：モデル検査への応用」（アハメド・ブアジャニ、オデッド・マラーとの共著）でCONCUR Test-of Time Award 2021を受賞しました。 [18]会議でいくつかの最優秀論文賞を受賞しています。[19] [20] [21]ミュンヘン工科大学で最優秀教育賞を複数回受賞しています。 [22]サラゴサ大学（1990年）の博士論文賞も受賞しています。[23]
参考文献
- ^ abcd 「履歴書」(PDF)。ミュンヘン工科大学。2021年4月29日に取得。
- ^ Esparza J.、Silva M. (1991) 自由選択システムの分析と合成について。コンピュータサイエンスの講義ノート、第483巻。Springer、ベルリン、ハイデルベルク。1991年。pp. 243–286。doi : 10.1007 /3-540-53863-1_28。ISBN 9783540463696. 2021年4月29日閲覧。
- ^ 「Google Scholar の引用」。Google Scholar 。2021年4月29日閲覧。
- ^ Esparza, Javier (1994 年 12 月). 「ネット展開を使用したモデル検査」.コンピュータプログラミングの科学. 23 (2): 151–195. doi : 10.1016/0167-6423(94)00019-0 . S2CID 29311587.
- ^ 「Kenneth L. McMillan」。Wordpress 。 2021年4月30日閲覧。
- ^ Jörg Desel と Javier Esparza (1995)、「Free Choice Petri Nets」、Cambridge Tracts in Theoretical Computer Science、第 40 巻、Cambridge University Press、ISBN 9-780-52101945-3
- ^ Javier Esparza と Keijo Heljanko (2008)、「Unfoldings–A Partial-Order Approach to Model Checking」、EATCS Monographs in Theoretical Computer Science、Springer、ISBN 978-3-540-77425-9
- ^ 「Javier EsparzaのDBLP出版物リスト」。DBLPコンピューターサイエンス書誌。 2021年4月26日閲覧。
- ^ エスパルザ、ハビエル;マイケル・ブロンディン（2023年10月17日）。オートマトン理論: アルゴリズムによるアプローチ。 MITプレス。 p. 560.ISBN 9780262048637。
- ^ 「原付」。シュトゥットガルト大学。2021年4月30日閲覧。
- ^ “jMoped”.土井: 10.1007/978-3-540-31980-1_35。
{{cite journal}}:ジャーナルを引用するには|journal=(ヘルプ)が必要です - ^ ラビナイザー。土井：10.1007/978-3-642-33386-6_7。ISBN 9783642333866. 2021年4月30日閲覧。
- ^ 「ストリックス」。ミュンヘン工科大学。2021年4月30日閲覧。
- ^ 「ペレグリン」.ミュンヘン工科大学。2021年4月30日閲覧。
- ^ 「ERC資金提供プロジェクト」。欧州研究会議。2021年4月26日閲覧。
- ^ 「ハビエル・エスパルサ–マサリク大学が名誉博士号を授与」マサリク大学。 2021年4月26日閲覧。
- ^ “Javier Esparza”. Academia Europaea . 2021年4月26日閲覧。
- ^ 「Concur Test of Time Awards」。Qonfestカンファレンスのウェブサイト。 2021年4月26日閲覧。
- ^ 「Best paper award Petri Nets」. PaVeS ウェブサイト. 2019 年 7 月. 2021 年 4 月 26 日閲覧。
- ^ 「Best paper award Petri Nets」. PaVeSウェブサイト. 2021年8月3日. 2023年5月20日閲覧。
- ^ 「SAND'22でPavesが最優秀論文賞」。PaVeSウェブサイト。 2023年5月20日閲覧。
- ^ “TechInf Award (Informatik)”. Fachschaft Mathematik、Physik、Informatik der TUM 。2021年4月26日閲覧。
- ^ “ハビエル・エスパルサ - 履歴書”.アカデミア・ヨーロッパ。2021年4月26日閲覧。
外部リンク
- ミュンヘン工科大学のハビエル・エスパルザの公式ページ (Lehrstuhl 7 / Theoretische Informatik)
- Google Scholar と DBLP の Javier Esparza
- 数学の系譜におけるハビエル・エスパルサ