Master thesis "Using automatas and reactive schemas in distributed applications development".
Download certificate (RU, PDF, 1.4MB), thesis draft (RU, PDF, 1.2MB)
Bachelor thesis "Designing automation software for model-driven testing of enterprise applications".
Download certificate (RU, PDF, 1.3MB), thesis draft (RU, PDF, 5.9MB)