Computer science education, Computational models, Non-determinism, Reduction, Efficiency, Gender in CS