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

 

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

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

  • Начал работать в НИУ ВШЭ в 2010 году.

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

  • 2000

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

  • 1975

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

  • Кандидат наук: специальность 01.01.06 «Математическая логика, алгебра и теория чисел»

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

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

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

Достижения и поощрения

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

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

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

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

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

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

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

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

Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 1-й курс, 1, 2 модуль)Рус

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

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.

Публикации25


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

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

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

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