Couvre la vérification de la sécurité du matériel et des logiciels, y compris les algorithmes et les techniques vérifiés pour éliminer les fuites spéculatives.
Présente des présentations de projets MFA intermédiaires, des logiciels STAN et UMBERTO, des stocks de matériaux, des typologies de bâtiments et des flux miniers urbains.
Explore des modèles de marché financier sans arbitrage et complets, des probabilités neutres sur le plan du risque, des prix structurés des billets et des options de couverture.