en
Applicants
Students
Teachers

Development and research methods of semantic analysis of natural and computer languages in artificial intelligence systems. Automating the analysis of formal specifications and verification of automation systems for programming and simulation

Congratulations on the updated site! We are refining and updating information. We look forward to your feedback and suggestions. If you noticed a mistake, please let us know
finish what you start
© 2018 Сomputer engineering department of Igor Sikorsky Kyiv Polytechnic Institute
About the site
Friends of the site
Archive