Loading article…
ヴァレンティン・ゴランコ | |
|---|---|
バレンティン・ゴランコ - ニース、2019 年 9 月 | |
| 生まれる | 1959年9月22日 ブルガリア、ソフィア |
| 母校 | ソフィア大学 |
| 知られている | 貢献分野:様相論理、ハイブリッド論理、時相論理、ゲームおよびマルチエージェントシステムの論理 |
| 科学者としてのキャリア | |
| フィールド | 論理 |
| 論文 | 多様相論理における定義可能性と完全性 (1988) |
| 博士課程の指導教員 | ディミテル・ヴァカレロフ |
| DLMPST/IUHPST会長 | |
| 在任期間 2024~2027年 | |
| 先行 | ナンシー・カートライト |
| Webサイト | 公式サイト |
ヴァレンティン・フェオドロフ・ゴランコ(1959年9月22日、ブルガリアのソフィア生まれ)は、ブルガリア系スウェーデン人の論理学者であり、ストックホルム大学哲学科の論理学および理論哲学の教授である。[1] 現在、国際科学会議(ISC)傘下の国際科学技術史哲学連合の科学技術の論理学、方法論、哲学部門(DLMPST)の部門長を務めている。
教育と学歴
ゴランコ氏は数学を学び(1984年理学修士)、1988年にソフィア大学「聖クリメント・オフリドスキ」の数学・情報学部で数理論理学の博士号を取得しました。2014年にストックホルム大学に着任する前は、ブルガリア(1992年まで)、南アフリカ(1992~2009年)、デンマーク(2009~2014年)、スウェーデン(2014年以降)の大学でいくつかの学術職を務め、数学、コンピューターサイエンス、論理学のさまざまなコースを教えてきました。
研究分野
ゴランコは、人工知能、マルチエージェントシステム、哲学、コンピュータサイエンス、ゲーム理論への論理の理論と応用について幅広い研究関心を持っており、これまでに 4 冊の書籍と 140 本を超える研究論文およびハンドブックやその他の研究コレクションの章を出版しています。
プロフェッショナルなサービス
- 国際科学技術史哲学連合(IUHPST)[3]の科学技術論理・方法論・哲学部門(DLMPST)[2]の会長(2024–2027年)
- スカンジナビア論理学会会長(2018年より)[4]
- 論理・言語・情報協会(FoLLI)元会長(2016-2020)
- Springer LNCSのサブシリーズである論理、言語、情報に関するFoLLI出版物シリーズの編集長(論理) 。 [5]
- 欧州コンピュータサイエンス論理協会EACSL理事会執行委員[6]
- ジャーナルLogicsの編集長
- ACM Transactions on Computational Logicの副編集者であり、他のいくつかの科学雑誌の編集委員会のメンバーです。
出版された書籍
- 2015論理と離散数学:簡潔な入門[7]
- 2016コンピュータサイエンスにおける時相論理[8]
- 2016論理をツールとして:形式的論理的推論のガイド[9]
- 2023 時相論理[10]
参考文献
- ^ ゴランコ、ヴァレンティン・ストックホルム大学
- ^ 「DLMPST Council 2024-2027」。2023年9月16日閲覧。
- ^ 「IUHPST - 科学技術の歴史と哲学に関する国際連合」。2023年9月16日閲覧。
- ^ SLS、執行委員会。「スカンジナビア論理学会」 。 2020年11月1日閲覧。
- ^ 「FoLLI Publications on Logic, Language and Information」Springer . 2020年11月1日閲覧。
- ^ 欧州コンピュータサイエンスロジック協会の幹部メンバー。「EACSL組織」 。 2020年11月1日閲覧。
- ^ コンラディ、ウィレム、ヴァレンティン・ゴランコ (2015)。論理と離散数学:簡潔な入門。ワイリー。ISBN 978-1-118-75127-5。
- ^ Demri, Stéphane, Valentin Goranko, Martin Lange (2016).コンピュータサイエンスにおける時相論理:有限状態システム.ケンブリッジ大学出版局. ISBN 978-1-107-02836-4。
{{cite book}}: CS1 maint: 複数の名前: 著者リスト (リンク) - ^ ゴランコ、ヴァレンティン(2016)。『ツールとしての論理:形式的論理的推論ガイド』。ワイリー。ISBN 978-1-118-88000-5。
- ^ ゴランコ、ヴァレンティン(2023)。時間論理。哲学と論理の要素。ケンブリッジ大学出版局。ISBN 9781009170093。
