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

 

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

Захарьящев Михаил Викторович

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

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

  • 1998
    Доктор физико-математических наук
  • 1978

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

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

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

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

Научный руководитель диссертационных исследований

на соискание учёной степени кандидата наук
1
Герасимова О. А. Онтологический доступ к данным с использованием дизъюнктивных аксиом (aспирантура: 3-й год обучения)

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

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

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

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

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

Introduction to the Semantic Web Technologies

ФКН

М.В. Захарьящев

ЯНВАРЬ – апрель

 

7 зачетных единиц

 

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

  • С 2011 г.: член редсовета журнала «Journal of Applied Logic».

  • С 2011 г.: приглашенный редактор журнала «Studia Logica».

Публикации27


Информация*

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

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

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

Logic Matters

The 3d International seminar "Logic Matters" organized by the International Laboratory for Intelligent Systems and Structural Analysis Department of Data Analysis and Artificial Intelligence under the leadership of Sergei O. Kuznetsov was held on December 29, 2020

Логика имеет значение

29 декабря 2020 состоялся международный онлайн-семинар «Logic Matters» (Логика имеет значение)

Аспиранты ФКН выиграли гранты РФФИ

Российский фонд фундаментальных исследований подвел итоги конкурса на лучшие проекты, выполняемые аспирантами.

Объявлены итоги конкурса НИРС 2018

На официальном сайте появились результаты конкурса научно-исследовательских работ студентов (НИРС) 2018 года. Публикуем список победителей и лауреатов по направлению «Компьютерные науки».

HSE and University of London: Joint BA Programme in Applied Data Analysis

In 2018, the Higher School of Economics will launch an English-taught double degree programme in partnership with the University of London in Applied Data Analysis. Graduates will be awarded an undergraduate degree from HSE in Applied Mathematics and Information Science and a Bachelor of Science in Data Science and Business Analytics from the University of London. International applicants are invited to apply online starting November 15, 2017.

НИУ ВШЭ и Лондонский университет открывают бакалаврскую программу двух дипломов по прикладному анализу данных

В 2018 году Высшая школа экономики начинает прием на англоязычную программу бакалавриата «Программа двух дипломов НИУ ВШЭ и Лондонского университета «Прикладной анализ данных». Все, успешно закончившие программу, получат диплом бакалавра по направлению «Прикладная математика и информатика»  НИУ ВШЭ и диплом Bachelor of Sciences in Data Science and Business Analytics  Лондонского университета.

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

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

CSR 2015

13-17 июля прошла 10-я международная конференция CSR 2015 – Computer Science in Russia. Эта крупнейшая в России конференция по теоретической информатике была организована при поддержке Иркутского государственного университета, НИУ ВШЭ и компании «Яндекс». В качестве приглашенного докладчика в конференции принял участие доцент Владимир Подольский. Также с докладом выступил доцент Максим Бабенко.