Explore les sciences informatiques environnementales et l'observation de la Terre grâce à des modèles d'apprentissage approfondi précis pour la surveillance, l'intégration des connaissances sur le domaine dans les modèles d'espèces et l'amélioration de la recherche d'images.
Couvre la programmation assistée par solveur, intégrant les résolveurs SMT pour la vérification, la synthèse et le débogage des programmes, ainsi que les défis dans la construction d'outils assistés par solveur.
Examine l'évaluation de la durabilité urbaine, en mettant l'accent sur la prise de décisions pour des villes durables au moyen d'approches, d'espaces de solutions et de choix d'indicateurs.
Couvre l'étude mathématique des comportements de programme, l'analyse, les langages spécifiques à un domaine et les outils puissants de conception de langage.
