Courses of KSU:
Algebraic Programming & Symbolic Modeling (APS APLAN);
Insertion Modeling System (IMS);
Verification (IMS, Alloy, Coq);
Formal Methods of Software Engineering;
Engineering and Requirements Analysis;
Analysis of Tokenomics Models;
Development of Smart Contracts;
Semantic Web Engineering.