Шехтман Валентин Борисович
- Профессор: Факультет математики / Базовая кафедра Института проблем передачи информации им.А.А.Харкевича (ИППИ) РАН
- Начал работать в НИУ ВШЭ в 2010 году.
- Научно-педагогический стаж: 46 лет.
Oбразование и учёные степени
Математическая логика (неклассические логики) и приложения к универсальной алгебре, топологии и информатике
Достижения и поощрения
- Благодарность первого проректора НИУ ВШЭ (январь 2024)
Надбавка за публикацию в журнале из Списка А (и приравненном к нему научном издании) (2024–2025)
Надбавка за публикацию в международном рецензируемом научном издании (2017–2019)
Надбавка за статью в зарубежном рецензируемом журнале (2015–2017)
Учебные курсы (2024/2025 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
- Множества и модели (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики; 2-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики; 1-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики; 1-й курс, 3, 4 модуль)рус
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Введение в теорию моделей (Дисциплина общефакультетского пула; 1, 2 модуль)рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики; 2-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики; 1-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики; 1-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; 3, 4 модуль)рус
Учебные курсы (2022/2023 уч. год)
- Научно-исследовательский семинар "Категории и универсальная алгебра" (Дисциплина общефакультетского пула; 1, 2 модуль)рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики; 1-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики; 1-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; 3, 4 модуль)рус
Учебные курсы (2021/2022 уч. год)
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
Учебные курсы (2020/2021 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
- Математика. Лиценциат (Бакалавриат; где читается: Факультет математики; 4-й курс, 1 модуль)рус
- Научно-исследовательский семинар "Введение в теорию моделей" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)рус
Участие в редколлегиях научных журналов
Участие в конференциях
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)
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".
Информация*
- Общий стаж: 48 лет
- Научно-педагогический стаж: 46 лет
- Преподавательский стаж: 17 лет
Текущие исследовательские гранты
РФФИ: 08-01-00399-а (исполнитель), 10-01-06022-г (руководитель), 11-01-00958-а (руководитель проекта)
Грант Президента РФ НШ-845.2008.1 (исполнитель)
2010 грант РФФИ № 09-01-12170-офи_м, проект "Фундаментальные задачи алгебраической геометрии иматематической логики и их приложения к теории передачи информации" (участник проекта)
11-01-93107-НЦНИЛ_а (руководитель проекта)