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
News
27 June
FICT is deeply saddened to announce that on June 27, 2024, Doctor of Technical Sciences, Professor Lutskyi Georgy Mykhailovych passed away.
8 June
How KPI students are saving Ukraine
20 May
Morning broadcast on Ukrainian Radio
18 May
Innovative activity and expansion of opportunities for cooperation with state institutions
2 May
Conducting a competitive selection of higher education applicants of KPI named after Igor Sikorsky under the "NAWA" program
finish what you start