• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
+7 (495) 772-95-90
27320
Электронная почта:
Адрес: АУК "Покровский бульвар", Покровский б-р, д. 11, каб. S938
Время консультаций: по согласованию по электронной почте
Расписание
ORCID: 0000-0002-7502-1653
ResearcherID: M-6531-2015
Scopus AuthorID: 56117921300
Google Scholar
Руководитель
Кузнецов С. О.
Версия для печати

 

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

Канович Макс Иосифович

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

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

  • 1991
    Ученое звание: Профессор
  • 1989
    Доктор физико-математических наук
  • 1968

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

Профессиональные интересы

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

Выпускные квалификационные работы студентов

Полный список ВКР

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

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

Automated Methods for Program Verification (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Анг

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

Automated Methods for Program Verification (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Анг

Аспирантская школа по компьютерным наукам

Fundamentals of Knowledge Representation

ФКН

М.И. Канович

ноябрь – декабрь

 

3 зачетные единицы

 

Конференции

  • 2019
    WoLLIC 2019 (Утрехт). Доклад: The complexity of multiplicative-additive Lambek calculus: 25 years later
  • 2018

    9th International Joint Conference on Automated Reasoning (IJCAR 2018) (Оксфорд). Доклад: A logical framework with commutative and non-commutative subexponentials

  • Formal Grammar 2018 (София). Доклад: A logical framework with commutative and non-commutative subexponentials
  • 2017
    Fundamentals of Computation Theory (FCT 2017) https://fct2017.labri.fr/ (Бордо). Доклад: A polynomial-time algorithm for the Lambek calculus with brackets of bounded order
  • 2015
    4th Conference on Principles on Security and Trust (POST) (London). Доклад: Discrete vs. Dense Times in the Verification of Cyber-Physical Security Protocols.

Публикации35

Опыт работы

I have been working at many universities in Russia, France, Australia, Japan, the U.S., and the United Kingdom, including long-term teaching and research engagements at Tver, RGGU, Tohoku and Keio Universities, and the University of Pennsylvania, Queen Mary, University of London, and University College London.

 


Информация*

  • Общий стаж: 33 года
  • Научно-педагогический стаж: 33 года
  • Преподавательский стаж: 29 лет
Данные выводятся в соответствии с требованиями приказа N 831 от 14 августа 2020 г. Федеральной службы по надзору в сфере образования и науки

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

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

Научно-исследовательская работа
со студентами НИУ ВШЭ

Опубликованы темы КР и ВКР департамента на 2015/16 учебный год.