Jag har själv läst D civ.ing. på KTH, som är en av de bästa datainstituten (heter NADA) i världen. Alltid vid programmeringsVM så är det KTH som jämt representerar Sverige. Och KTH slår oftast (alltid?) Harvard, MIT, Stanford, etc i programmeringsVM. Kommer alltid bland de bästa toppuniversiteten. NADA är faktiskt världsberömt bland matematiker och dataloger. Fråga själva på era egna universitet om NADAs status.
KTHs D program var förrut det program som läste mest matte av alla, inkl Teknisk Fysik, under de första 2 åren. Kanske är det fortfarande så, det har jag inte kollat upp. Enligt Högskoleverket som noggrant gick igenom alla datautbildningar i Sverige (en rapport på typ 150sidor, finns på hemsidan
www.hsv.se) så var KTHs syn på datalogi "ovanligt matematisk och teoretisk" jämfört med de andra programmen. Det beror bl.a. på att vi har en datalogiprofessor där, som är en av de mest berömda matematikerna i världen, han har fått Gödelpriset (nästan som nobelpriset i matte). Kurserna är hysteriskt svåra.
Vill man lära sig datalogi och datavetenskap riktigt ordentligt, så är KTH ett mycket bra alternativ.
Så här kan ett examensarbete i teoretisk datalogi vid KTH se ut:
http://www.student.nada.kth.se/~jako...tersthesis.pdf