RSS
Логотип
Баннер в шапке 1
Баннер в шапке 2
Kulyamin Victor
Kulyamin Victor

I participate in researches, in development and in teaching.

My scientific interests is a software engineering in general, ensuring quality of programs, use of formal methods and models in software engineering and ensuring quality of software, testing on the basis of models, formal methods in testing today and also - significantly informal aspects and a human factor in software development.

But my master's thesis is devoted to properties of polynoms in final matrix rings.

As the developer and the software architect I am involved in creation of technology of development of tests of UniTESK and development of the tools supporting her.

As the scientific consultant I participated in the OLVER project within which the test set was developed for check of compliance to the Linux Standard Base standard.

http://panda.ispras.ru/~kuliamin/