В ХНУРЭ начала работу Первая международная весенняя школа по верификации и искусственному интеллекту

25.04.2018

24 апреля на базе Харьковского национального университета радиоэлектроники открылась Первая международная весенняя школа по верификации и искусственному интеллекту. Участников школы поприветствовал декан факультета компьютерных наук Андрей Ерохин, пожелал плодотворной работы и отметил, что развитие высоких технологий это приоритетная задача современного технического образования.

Первым выступил профессор Австралийского национального университета Богомолов Сергей, с докладом «Проверка и планирование алгоритмов машинного обучения и наоборот».
Также с докладами выступили представители различных технических вузов Украины.
Николай Никитченко заведующий кафедрой теории и технологии программирования Киевского национального университета имени Тараса Шевченко с докладом «Логика и верификация программ». Леонид Любочка, заведующий кафедрой компьютерной математики и анализа данных НТУ «ХПИ» с докладом «Задачи и методы подавления постоянно действующих неизмеряемых возмущений в системах управления». Вячеслав Харченко заведующий кафедрой компьютерных систем и сетей Национального аэрокосмического университета им. Н. Е. Жуковского «ХАИ» с докладом «Injection Based Verification of Software and Programmable Systems: Theoretical Issues and Industrial Cases» и Григорий Жолткевич, декан факультета математики и информатики, заведующий кафедрой теоретической и прикладной информатики Харьковского национального университета им. Каразина.

cохранить эту страницу в PDF