Research group

Verification or Program Analysis Lab


Status: Active

Kotoed (KOTlin Online EDucation) is an information system designed for the software development education at Polytechnic University.

The goal of the project is to automate most of the work a teaching assistant has to perform when working with students in a regular software development course:

  • Project submission/safekeeping
  • Submission evaluation via unit testing and/or random testing
  • Plagiarism detection
  • Code style checking
  • Code reviews
  • ...