The goal of the project is to devise an algorithm that would decompose a given finite group as a direct product of its subgroups.

Here is the draft of our paper that describes the algorithm and proves its correctness:

Factoring Groups Efficiently

Here are the presentation slides:

Slides