Chercheuse URBAN Caterina

Research activity

Le sujet de mes recherches est l'amélioration de la qualité des logiciels informatiques. Mon domaine d'expertise est l'analyse statique de programmes, qui fournit des garanties mathématiques rigoureuses concernant les comportements des programmes. Je suis particulièrement intéressée par les méthodes d'analyse basées sur l'interprétation abstraite, une théorie de l'approximation sûre des comportements des programmes. Je travaille actuellement sur l'analyse statique des applications de "data science" afin de détecter automatiquement les erreurs de programmation liées à l'utilisation des données.