QA Engineer from Moscow.

LLM, discrete math, formal requirements

AESC MSU, CMC MSU.