The Laboratory of Validation and Verification of Complex Technical Systems is part of the International Scientific and Academic Center "Security and Safety for Critical Digital Technologies". The aim of the laboratory is to produce more efficient approaches to maintaining security of complex technical systems.
Projects
-
the development of approaches to the verification of functional security of complex technical systems;
-
the development of approaches to ensure the cybersecurity of autonomous vehicles;
-
studies aiming to ensure the safety of AI-based systems;
The staff of the laboratory are Master’s and PhD students of the Faculty of Secure Information Technologies.
Partners
-
JSC NIIAS