Dina Kinzhikeyeva

- Led the software team (5-6 engineers); - designed software architecture according to the PUS and CCSDS standards; designed functional FSM of OBC using UML 2.0; developed FDIR; developed OBC Software CONOPS; developed Custom CAN Protocol; - developed QNX 6.6 applications and drivers. - designed Zynq-7000 PS and PL Configuration; ported QNX BSP to the Target Board; tested bare-metal functionality; conducted FSBL Verification.

-JetBrains Academy math expert; -conducted an analysis of the correctness of educational topics; corrected errors in the authors' practical tasks; made plans for tracks and topics; - wrote the topic "Binary calculation"; wrote the topic "Expected value for a continuous random variable"; made a visual design of topics;

Responsibilities of the System Verifier, which included: writing HAL-files, system tests for peripheral blocks and their support (I2C, SPI, Gtimer, CAN, I2C)

Subject of Final qualifying paper: "Methods for synthesis of circuits of some classes implementing step type functions and bounds on their complexity and depth"

Subject of Final qualifying paper: "Asymptotic bounds of varying degrees of accuracy for some special Boolean functions"