Areas – Computer science

Computer science   standard compliant  MSC

-

Algoritmi per problemi combinatorici e teoria dei grafi algoritmica - Decidibilità, Model Checking e Sintesi da Specifiche in Logiche Temporali a Intervalli - Matematica Discreta entro l'Informatica - Teoria della computazione

Theory of computing

Computazione quantistica: modelli, semantica e analisi dei programmi, metodi per il machine learning