Aggiunto Informatica Teorica