• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
+7 (495) 772-95-90
15304
Электронная почта:
Адрес: Усачёва ул., д. 6, каб. 417
Время присутствия: пятница 14:40-16:10, zoom по-договоренности
Расписание
Резюме (PDF, 456 Кб)
ORCID: 0000-0001-7875-7765
ResearcherID: N-2056-2016
Scopus AuthorID: 16470280300
Google Scholar
Руководитель
Тиморин В. А.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

Шехтман Валентин Борисович

  • Начал работать в НИУ ВШЭ в 2010 году.
  • Научно-педагогический стаж: 42 года.

Образование, учёные степени

  • 2000
    Доктор физико-математических наук: специальность 01.01.06 «Математическая логика, алгебра и теория чисел»
  • 1975

    Специалитет: Московский государственный педагогический институт им. В.И. Ленина, факультет: математический, специальность «Математика»

  • Кандидат наук: специальность 01.01.06 «Математическая логика, алгебра и теория чисел»
  • Аспирантура: Московский государственный университет им. М.В. Ломоносова, факультет: механико-математический

Научные интересы

Математическая логика (неклассические логики) и приложения к универсальной алгебре, топологии и информатике

Учебные курсы (2020/2021 уч. год)

Учебные курсы (2019/2020 уч. год)

Учебные курсы (2018/2019 уч. год)

Учебные курсы (2017/2018 уч. год)

Учебные курсы (2016/2017 уч. год)

Учебные курсы (2015/2016 уч. год)

Участие в редколлегиях научных журналов

С 2012 г.: член редколлегии журнала «Logic Journal of the IGPL».

Участие в конференциях

1. Advances in Modal Logic - Moscow, 2010. Program Chair.

2. Workshop on Logic and Computation - Wienna, Austria, 2009. Invited speaker.

3. Logical Models of Reasoning and Computation-2 - Utrecht, 2008. Invited speaker.

4. Advances in Modal Logic (AiML-2012). 22-25 August 2012, Technical University of Denmark, Copenhagen. “On Modal Logics of Hamming Spaces” (совм. с А.В. Кудиновым и И.Б. Шапировским)

5. International Workshop on Topological Methods in Logic (TOLO-III). July 23—27, 2012, Razmadze Mathematical Institute, Tbilisi, Georgia. “Derivational modal logics with the difference modality” (invited speaker)

6. Explicit Paradigms in Logic and Computer Sciences, 4-6 June 2012, Bern, Switzerland. "New results on products of modal logics" (invited speaker)

7. Topology, Algebra and Categories in Logic (TACL- 2011). Marseille, France, July 26-30, 2011. “Hybrid products of modal logics”.

8. Non-classical modal and predicate logics (NCMPL2011). Guangzhou, China, December 5-9,2011. "Equality in modal predicate logics" (invited speaker).

9. Московские чтения по конструктивной логике и представлению знаний. Май 2012, Москва "О квадратах модальных логик с дополнительными связками"

10. Logical Models of Reasoning and Computation-1 - Moscow, 2008. Invited speaker.

11. 31st European Summer School in  Logic, Language and Information (ESSLLI). August 5-16, 2019. Riga, Latvia. "Bisimulation and filtration in modal logic" (with I. Shapirovsky). Lecturer.

12. International Workshop on Topological Methods in Logic (TOLO-VI). July 2—6, 2018, Ilia State University, Tbilisi, Georgia. “On simplicial semantics of modal predicate logics” (invited speaker).

13. Logical Perspectives 2018. (14–18 мая 2018 г., Международный математический институт им. Леонарда Эйлера, Санкт-Петербург."Modal logic meets simplicial sets"(invited speaker).

14. Advances in Modal Logic 2018. August 27-31, 2018, Bern, Switzerland. "On Kripke completeness of some modal predicate logics with the density axiom".

15. Advances in Modal Logic 2020. August 24-28, 2020, Helsinki, Finland. "Some prospects for semiproducts and products of modal logics" (with D. Shkatov).

16. Workshop "Proof theory in logic" (part of conference WOLLIC 2019). July 1-2, 2019. Utrecht, The Netherlands. "Logics of finite depth: problems and results" (invited speaker).

17. Topology, Algebra and Categories in Logic (TACL- 2019). June 17-21, 2019. NIce, France.  “Simplicial semantics and one-variable fragments of modal predicate logics”.

18. Syntax Meets Semantics 2019 (SYSMICS). 21-25 January 2019, Amsterdam, The Netherlands. "On one-variable fragments of modal predicate logics" (with D. Shkatov).

19. Workshop on Proof Theory, Modal Logic and Reflection Principles (WORMSHOP 2019). November 5-8, 2019, Barcelona, Spain. "Interpreting modal logics in classical first-order theories".

Публикации29


Текущие исследовательские гранты

РФФИ: 08-01-00399-а (исполнитель),  10-01-06022-г (руководитель),  11-01-00958-а (руководитель проекта)
Грант Президента РФ НШ-845.2008.1 (исполнитель)   
2010 грант РФФИ № 09-01-12170-офи_м, проект "Фундаментальные задачи алгебраической геометрии иматематической логики и их приложения к теории передачи информации" (участник проекта)
11-01-93107-НЦНИЛ_а (руководитель проекта)

Расписание занятий на сегодня

Полное расписание