Іванов Євген В’ячеславович

Освіта 

Кандидат фіз.-мат. наук, доктор університету Тулузи(Франція).

У 2010 році закінчив з відзнакою магістратуру факультету кібернетики Київського національного університету імені Тараса Шевченка. В 2010-2013 рр. перебував в аспірантурі Київського національного університету імені Тараса Шевченка та Університету Поля Сабатьє (Тулуза-3), Франція. В 2014 році захистив дисертацію на здобуття ступеня кандидата фізико-математичних наук та ступеня доктора Університету Тулузи у галузі надійності програм та високопродуктивних обчислень.

Шифр та напрям за якими захищена дисертація: 01.05.01 – теоретичні основи інформатики та кібернетики. Назва дисертації: Investigation of abstract systems with inputs and outputs as partial functions of time.

Основні наукові досягнення 

Розвиток математичної теорії систем з частковими поведінками.

Володіння ІТ

Alfresco.

Проекти, в яких приймав участь

Розробка системних компонентів технології електронного документообігу КНУ.

Навчальна робота. Дисципліни, що викладає. Інновації

Основи програмування, Об'єктно-орієнтоване конструювання програм, Моделювання та аналіз програмного забезпечення. 

Інновації - автоматизація перевірки домашніх завдань з програмування.

Теми дипломних та курсових робіт

Верифікація кібер-фізичних систем, Технології синтезу кібер-фізичних систем (керівництво роботою сумісно з Лабораторією кібер-фізичних систем дослідницької школи комп'ютерних наук Австралійського національного університету, м. Канберра).

Основні публікації з посиланнями

1. On Representations of Abstract Systems with Partial Inputs and Outputs, Springer LNCS8402;

2. On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems, Springer LNCS9608.

Волонтерська робота

Рецензент Американського математичного товариства (AMS), член комітету оцінки відтвоюрюваності результатів досліджень міжнародної наукової конференцї Hybrid-systems: computation and control 2017 Асоціації обчислювальної техніки (ACM).

Громадська робота на факультеті

Куратор групи

Як планую розвиватися

Докторантура, в перспективі

Наукові інтереси:

  • семантика мов програмування;
  • формальні методи;
  • математична теорія систем;
  • гібридні (дискретно-неперервні) системи;

Відгуки оприлюднюються лише після модерації. Відгуки, що містять недостовірну інформацію оприлюднені не будуть! У разі, якщо хтось буде наполягати на оприлюднені відгука, звертайтесь за адресою bos.knu@gmail.com