Magistrale per approfondire Logica e Teoria dei Linguaggi

[Bibbo]

Sto prendendo una laurea triennale in Ingegneria Informatica, nella magistrale vorrei approfondire gli aspetti di informatica teorica, soprattutto logica e teoria dei linguaggi. Qual è secondo voi in Italia la migliore magistrale, in Informatica o Matematica, che pone l'accento su questi aspetti?
Ho visto che Roma 3 ha nella magistrale di Matematica il curriculum di Logica Matematica e Informatica Teorica, potrebbe aver senso iscriversi a questa magistrale dopo una triennale in Ingegneria?

[dottore]

Benvenuto nel forum.

A mio avviso ti devi rivolgere, come mi pare tu abbia già  intuito, ai corsi di laurea magistrale della classe LM-40. Già  se ti orienti sulle classi informatiche vai più sulle applicazioni che sulla teoria.