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
Advertisement
News
6 October
Competition of presentations "Cybersecurity – challenges for education and science"25 January
International Scientific Internet Conference18 January
Dear students and scientific and pedagogical workers!25 October
The round table meeting "Innovation technologies in the educational process of the computer engineering department "5 July
30.06.2022 ON THE BASE OF KPI IM. THE INTERNATIONAL SCIENTIFIC AND TECHNICAL CONFERENCE “THE INTERNATIONAL CONFERENCE ON SECURITY, FAULT TOLERANCE, INTELLIGENCE” (ICSFTI2022 ONLINE) HAS BEEN HELD IN IHORY SIKORSKYOfinish what you start