Elective disciplines – Department of Software Systems and Technologies

Catalog of selective disciplines

The Master's level applicant chooses three disciplines of free choice with a total of 15 ECTS credits during their studies. The catalog below is a proposal of the Department of Software Systems and Technologies; in addition to it, the applicant can choose any discipline from the university catalog.

Disciplines of the Department

Theory of Opportunities in Decision-Making Problems

Code: BB.01 | Credits 5 | Lecturer prof. Bychkov O.S.

Axiomatic theory of possibilities with two degrees (possibility and necessity), Zadeh paradox, ((P,N))-model as an alternative to Dempster-Schafer theory. Application of expert-type data in tasks with uncertainty.

Multi-agent systems on Rust

Code: BB.02 | Credits 5 | Lecturer prof. Bychkov O.S.

Implementation of communication protocols, coordination models, behavior planning systems in a secure system language. The course covers FIPA-ACL, contract-no, behavior tree, implementation of swarm behavior.

Hybrid Automatics and Functional Stability

Code: BB.03 | Credits 5

Simulation of systems combining continuous and discrete dynamics. Investigation of the stability of hybrid systems, verification of properties by means of HyTech, SpaceEx, dReach. Applications in cyber-physical systems and robotics.

Engineering Large Language Models

Code: BB.04 | Credits 5

Architecture of transformers, distillation, fine-tuning, RAG-systems. Possible model of attention. Three-level memory for agents. Integration with vector databases (Qdrant, Pinecone) Model evaluation.

Formal semantics of programming languages

Code: BB.05 | Credits 5

Operational, denotational, axiomatic semantics. Hoare's logic: Proving the correctness of applications in Coq. Overview of type systems: System F, dependent types. Overview of languages with formally specific semantics (Standard ML, Idris, F*).

Post-Quantum Era Cryptography

Code: BB.06 | Credits 5

Cryptography on lattices, hash functions, isogens. NIST PQC standards: Kyber, Dilithium, Falcon. Hybrid cryptosystems of the Transition Period. Security of blockchain systems in the post-quantum context.

Architecture of microservice systems

Code: BB.07 | Credits 5

Monolith decomposition, design patterns (CQRS, Event Sourcing, saga, Outbox), service grid (Istio, Linkerd), distributed tracing (OpenTelemetry, Jaeger). Practice on k8s.

Reactive programming systems

Code: BB.08 | Credits 5

Jet streams, back-pressure, ReactiveX (RxJS, RxJava), Project Reactor. Architecture of reactive systems according to the Reactive Manifesto manifesto. Integration with Akka, Vert.x, Spring WebFlux.

Security of software systems

Code: BB.09 | Credits 5

OWASP Top 10, threat modeling (STRIDE), static and dynamic code analysis, fuzz testing. Secure Keeping of Secrets - Software Supply Chain Security (SBOM, Sigstore).

Real-time computer vision systems

Code: BB.10 | Credits 5

Classical CV (OpenCV) and in-depth methods (YOLO, DETR, Sam). Camera calibration, stereo vision, optical flow. Real-time constraints: Deploy models to edge (Jetson, Coral).

Make selection

Registration for the free choice discipline opens two months before the start of the semester in the e-government system of KNU. If the applicant does not register independently, the dean's office enrolls disciplines by default from the proposals of the department.

The discipline is formed when at least 10 applicants have enrolled in it. In case of a smaller number of applications, the applicant is transferred to a discipline with the content closest to the subject.