Research group

Verification or Program Analysis Lab

Kotoed

Belyaev Mikhail, Akhin MaratActive

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;
  • ...

Participants

Belyaev Mikhail
Belyaev Mikhail
Akhin Marat
Akhin Marat

Materials