Search for Research

Н. В. Шилов

Автономная некоммерческая организация высшего образования Университет Иннополис

Чем занимается

Ключевые темы по публикациям: Формальные методы верификации; Логика, программирование и системы типов; Логика, рассуждение и знания; Вычислимость, логика и алгоритмы искусственного интеллекта; Семантическая сеть и онтологии.

Темы посчитаны по публикациям в OpenAlex; научный руководитель их не подтверждал

Выбранные работы

Все 72 в OpenAlex

Часть публикаций из профиля, по году от новых к старым. Это не полный список последних работ автора; работы без года — в конце.

  • A Learning Path to Functional Programming (and What Students can see on the Path)2025
  • Running Regular Research Seminar Online2023
  • Boris Abramovich Trakhtenbrot2022
  • Борис Абрамович Трахтенброт (к столетию со дня рождения)2022
  • Analytical Detection of a Mesh Vertex Being on the Inside of a Round Through-Hole2022
  • Update and Abstraction in Model Checking of Knowledge and Branching Time2006 · аннотация

    We present (update+abstraction) algorithm for model checking a fusion of Computation Tree Logic and Propositional Logic of Knowledge in systems with the perfect recall synchronous semantics. It has been already known…

  • Engaging students with theory through ACM collegiate programming contest2002 · аннотация

    How formal methods can be presented in a popular---but mathematically sound---manner to undergraduate students of various disciplines.

  • Model checking knowledge and fixpoints.2002

Наукометрия

8h-index
72публикаций
383цитирований

Написать научруку

Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.

Предложена самая свежая из выбранных работ профиля. Упомяни её, только если прочитал(а) и видишь связь со своей задачей.

Шаблон письма

Здравствуйте, [Имя Отчество]! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Хочу решать задачу: [какую задачу хочу решать / тема ВКР]. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]

Замени поля в квадратных скобках своими данными и отправь письмо из своей почты. Копирование сохраняет черновик и не отправляет письмо научруку.