Research group
Verification or Program Analysis Lab
Kotoed
Mikhail Belyaev, Marat AkhinActive
Kotoed (KOTlin Online EDucation) is an information system designed for software development education at Polytechnic University.
The goal of the project is to automate most of the work teaching assistants have to do when working with students on a regular software development course:
- project submission/safekeeping;
- submission evaluation via unit testing and/or random testing;
- plagiarism detection;
- code style checking;
- code reviews;
- ...