ENS Lyon
With a mainly theoretical approach and projects. The lectures include both proofs on halting problems and writing assembly code (I did a Tetris), NP-completeness reduction and preparation to coding competitions.
I realized a research internship of six weeks to finish my Bachelor. I worked in the team Mnemosyne at INRIA Bordeaux under the supervision of Nicolas Rougier. Here is my report.