Thank you for your interest in Gerasim@home !
The project uses Internet-connected computers to do research in discrete mathematics and logic control. The current goal: testing and comparison of heuristic methods for getting separations of parallel algorithms working in the CAD system for designing logic control systems.
You can participate by downloading and running a free program on your computer.