Dario Colazzo

Les recherches de Dario Colazzo portent sur les bases de données et les langages de programmation, et incluent les bases de données en nuage et les systèmes de types pour un traitement sûr et efficace des données semi-structurées. Ses recherches antérieures portaient sur les systèmes de types pour le lambda-calcul et le pi-calcul.