Home About Department Teachers
Teachers



About

Teach disciplines

  • «System programming»
  • «Object-oriented programming»
  • «Logic Programming»
  • «Design and analysis of intelligent systems»
  • «Technologies of system programming»

 

Scientific interests :

Design and analysis methods of  semantyk analyses natural and computer languages in the systems of artificial intellect .
Automation of specifications analysis and formal verification for the systems of automatic programming and simulation.

 

Publications

Author of 160 science works,including 3 tutorial books,15 guidance.Including:

  1. Pustovarov V. / Langue assembly in programming and administering of information systems. M: "ntrop" K: "Vek", 1996, 304 p.. / / 2 nd ed. K: "Yunyor, 1997, 300 p..,K:" Vek ", M:" ntrop "M:" DESS ", 1998, 301 p..
  2. Pustovarov V. / Assembler: programming and analysis of the correctness of computer programs / / By: BHV, 2000, 480p.
  3.  Pustovarov V., Vinogradov Y., Ogorodnik V. Effective organization of internal representations in language implementation Verilog HDL / / VisnukKPI. nformatika, upravlnnya ta obchusljuvaljna tehnka. K, "VEK +", 2001, 35, pp. 14-21pp.
  4.  Pustovarov V., Znayka M.,, Ogorodnik V. / organization of semantic processing models of language VERILOG HDL universal redesigner Trydu 4-th International scientific conference "Modern information and electronic technologies, Odessa, 2003, pp. 122.
  5. Pustovarov V., / / Support monitoring compliance programs and models of formal specification problems. / / Bulletin NTUU KPI. Informatics, Management and Computer Science. K.: "VEK +.- 2007 .- 47pp .- 269 ​​- 279.
  6. Pustovarov V., Kyzyma S. / / Use arbitrary context-grammar of dialogue in multimedia systems / / International Scientific Conference "Intelligent technology of linguistic analysis", 6-8 October 2008, abstracts. - K. NAU, 2008. p.10
  7. Pustovarov V. / / Building of the  knowledge bases to create compatible programs and hardware and their formal verification. / / Bulletin NTUU KPI . Informatics, Management and Computer Science. K.:"Century +. - 2008 .- 49 .- pp. 41 - 46.

Prepared 6 Phd and 7 magisters.

Teacher`s page in "Intellect" system

Google+
4.6 stars(359 reviews)

Announcements

13 September, 14:31

09 September, 7:12
6

09 September, 7:06
2018 .

04 September, 15:07
-!

04 September, 14:50

04 September, 14:43
-!

01 September, 7:34
MSPRoadshow

31 August, 14:47
5

11 August, 16:14

09 August, 20:51

02 August, 21:14

14 July, 13:14

14 July, 13:13
-

14 July, 12:54

11 July, 12:19
-

23 June, 14:40
. 5

25 October, 14:24
Ҳ, ϲҲ ײ Բ

17 October, 15:35
(.-52 -53)

All messages

News

21 April, 14:14
"ϲ" ͳ

16 June, 16:33
̳ " "

29 April, 15:21

All news

RSS