Computer Science Approach to Quantum Control