Lauree Magistrali Logica/Informatica teorica

[Sythenast]

Ciao a tutti! Posto qui anche se è la sezione per la scuola secondaria, ma mi pare non ci siano altre zone dedicate all'orientamento...
Sto concludendo ora il mio terzo anno di Matematica, quindi sto iniziando a capire cosa fare per il prossimo anno. I miei interessi sono principalmente la logica e l'informatica teorica, e avendo fatto una triennale mista matematica/informatica, ho un po' paura ad affrontare una magistrale di matematica "classica" (praticamente, tutti i corsi da terzo anno di matematica mi mancano).
Allo stesso tempo però non sono riuscito a trovare degli atenei in Italia che offrano Lauree magistrali mirate a questi argomenti... Per dire, un programma che mi piace tantissimo sarebbe il master Logique Mathématique et Fondaments de l'Informatique dell'Università Paris-Diderot. Il problema con l'estero però è di carattere finanziario... in Italia invece non ho nessun problema a muovermi.
Qualcuno ha qualche suggerimento in merito?

[santi_numi]

bump..?