Валентин Горанко
Валентин Горанко | |
|---|---|
 Валентин Горанко - Ницца, сентябрь 2019 г. | |
| Рожденный | 22 сентября 1959 г. София, Болгария |
| Альма-матер | Софийский университет |
| Известный | вклад в: модальную логику , гибридную логику , темпоральную логику , логику для игр и многоагентных систем. |
| Научная карьера | |
| Поля | Логика |
| Диссертация | Определимость и полнота в мультимодальной логике (1988) |
| Докторантура | Dimiter Vakarelov |
| Веб-сайт | Официальный сайт |
Валентин Федоров Горанко (родился 22 сентября 1959 года в Софии , Болгария ) — болгаро-шведский логик , профессор логики и теоретической философии факультета философии Стокгольмского университета . [1]
Образование и академическая карьера
[ редактировать ]Горанко изучал математику (магистр наук, 1984 г.) и получил степень доктора философии. Степень доктора математической логики на факультете математики и информатики Софийского университета имени Св. Климента Охридского в 1988 году. До прихода в Стокгольмский университет в 2014 году он занимал несколько академических должностей в университетах Болгарии (до 1992 года), Южной Африки (1992- 2009 г.), Дании (2009–2014 гг.) и Швеции (с 2014 г.) и преподавал широкий спектр курсов по математике, информатике и логике.
Области исследований
[ редактировать ]Горанко имеет широкий спектр исследовательских интересов в области теории и приложений логики к искусственному интеллекту , многоагентным системам , философии , информатике и теории игр , где он опубликовал 4 книги и более 140 научных статей, а также главы в справочниках и других изданиях. исследовательские коллекции.
Профессиональное обслуживание
[ редактировать ]- Избранный президент (с мандатом на 2024–2027 гг.) Отдела логики, методологии и философии науки и технологий (DLMPST) [2] Международного союза истории и философии науки и техники (IUHPST) [3]
- Президент (с 2018 г.) Скандинавского логического общества . [4]
- Старший член и бывший президент (2016-2020) правления Ассоциации логики, языка и информации (FoLLI) [5]
- Главный редактор (Логика) серии публикаций FoLLI по логике, языку и информации, подсерии Springer LNCS. [6]
- Исполнительный член правления Европейской ассоциации компьютерных наук и логики EACSL [7]
- Главный редактор журнала « Логика ».
- Заместитель редактора журнала ACM Transactions on Computational Logic и член редколлегий ряда других научных журналов.
Опубликованные книги
[ редактировать ]- 2015 Логика и дискретная математика: краткое введение [8]
- 2016 Темпоральная логика в информатике [9]
- 2016 Логика как инструмент: Руководство по формальным логическим рассуждениям [10]
- 2023 Темпоральная логика [11]
Ссылки
[ редактировать ]- ^ Горанко, Стокгольмский университет имени Валентина
- ^ «Совет ДЛМПСТ 2024-2027» . Проверено 16 сентября 2023 г.
- ^ «IUHPST — Международный союз истории и философии науки и техники» . Проверено 16 сентября 2023 г.
- ^ SLS, Исполнительный комитет. «Скандинавское логическое общество» . Проверено 1 ноября 2020 г.
- ^ Правление FoLLI. «Ассоциация логики, языка и информации» . Проверено 1 ноября 2020 г.
- ^ «Публикации FoLLI по логике, языку и информации» . Спрингер . Проверено 1 ноября 2020 г.
- ^ Исполнительные члены Европейской ассоциации компьютерных наук и логики. «Организация EACSL» . Проверено 1 ноября 2020 г.
- ^ Конради, Виллем, Валентин Горанко (2015). Логика и дискретная математика: краткое введение . Уайли . ISBN 978-1-118-75127-5 .
- ^ Демри, Стефан, Валентин Горанко, Мартин Ланге (2016). Временная логика в информатике: системы конечных состояний . Издательство Кембриджского университета . ISBN 978-1-107-02836-4 .
{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка ) - ^ Горанко, Валентин (2016). Логика как инструмент: Руководство по формальным логическим рассуждениям . Уайли . ISBN 978-1-118-88000-5 .
- ^ Горанко, Валентин (2023). Временная логика . Элементы философии и логики. Издательство Кембриджского университета. ISBN 9781009170093 .
| Международный | |
|---|---|
| Национальный | |
| академики | |
