Головна » Про кафедру » Співробітники кафедри
Співробітники кафедри
фото



Про викладача

Викладає такі дисципліни:

  • «Системне програмування »
  • «Об’єктно-орієнтоване програмування»
  • «Логічне програмування»
  • «Проектування та дослідження інтелектуальних систем»
  • «Технології системного програмування»

 

Наукова діяльність:

Розробка та дослідження методів семантичного аналізу природних та комп’ютерних мов в системах штучного інтелекту.

Автоматизація аналізу специфікацій та формальної верифікації для систем автоматизації програмування та моделювання.

 

Публікації

Автор 160 наукових праць, з яких 3 навчальних посібників, 15 методичних вказівок. В тому числі:

  1. Пустоваров В.І. / Язык ассемблера в программировании информационных и управляющих систем. М: "Энтроп", К: "Век", 1996, 304 с.// 2-е изд. К: “Юниор”, 1997, 300 с., К: “Век”, М: “Энтроп”, М: “ДЕСС”, 1998, 301 с.
  2. Пустоваров В.І. / Ассемблер: программирование и анализ корректности машинных программ// К: BHV, 2000,480с.
  3. Пустоваров В.І., Виноградов Я.Ю., ОгородникВ.В.// Эффективная организация внутренних представ­лений в реализации языкаVerilogHDL// Вiсник КПI. Інформатика, управління та обчис­лю­вальна техніка. К, «ВЕК+», 2001, 35, с. 14-21.
  4. Пустоваров В.І., О.М.Знайко, В.В.Огородник// Организация семантической обработки моделей на языке VERILOG HDL универсальным реконструктором//Труды 4-й международной научно-практической конференции «Современные информационные и электронные технологии», Одесса, 2003, с. 122.
  5. Пустоваров В.І., //Супроводження контролю відповідності програм і моделей формальним специфікаціям задач.// Вісник Національного технічного університету “Київський політехнічний інститут”. Інформатика, управління та обчислювальна техніка. К.: «Век+». – 2007.– 47.– с. 269 – 279.
  6. Пустоваров В.І., Кизима С.В.// Використання контекстно-довільних граматик для організації діалогу в мультимедійних системах// Міжнародна науково-технічна конференція «Інтелектуальні технології лінгвістичного аналізу», 6-8 жовтня 2008р, тези доповідей. – К. НАУ, 2008. с.10
  7. Пустоваров В.І.//Побудова баз знань для сумісного створення програм і обладнання та їх формальної верифікації.// Вісник Національного технічного університету “Київський політехнічний інститут”. Інформатика, управління та обчислювальна техніка. К.: «Век+». – 2008.– 49.– с. 41 – 46.

Підготовив 6 кандидатів наук та 7 магістрів.

Сторінка викладача в системі "Інтелект"

Мы в Google+
4.6 stars(359 reviews)

RSS кафедри ОТ