Justin Hsu

Un aperçu de la façon dont les modèles DIBI analysent les relations entre événements.

De nouvelles techniques améliorent la découpe de gâteaux sans jalousie entre plusieurs participants.

Un nouveau système de types améliore l'analyse des erreurs d'arrondi pour les calculs numériques.