Награда на ИМИ
Начало
Цифрово хранилище
Библиотека на ИМИ
Музей
Проекти на фокус
Контакти
Гелев, Димитър
Секция "Алгебра и логика"
- Позиция:
- доцент, д-р, секретар на секцията
- Адрес:
-
София, 1113, ул. "Акад. Георги Бончев", блок №8, стая 507
- Е-мейл:
- Този имейл адрес е защитен от спам ботове. Трябва да имате пусната JavaScript поддръжка, за да го видите.
- Телефон:
- +3592 979 3834
- http://www.math.bas.bg/~gelevdp/
- Допълнителна информация:
-
Темпорални и вероятностни логики, системи с реално време, model-checking, формални методи и теоретична информатика.
2018
