Carlos E. Budde

Créer un système pour comparer les bibliothèques entre les langages de programmation de manière efficace.

Examiner les nouvelles avancées dans les outils pour vérifier des systèmes complexes.

Combiner des classes d'état stochastiques et la simulation permet une meilleure analyse des systèmes complexes.

Apprends à utiliser des méthodes statistiques solides pour prendre de meilleures décisions dans des systèmes complexes.

Des chercheurs améliorent la coordination entre camions et pelles dans les mines à ciel ouvert.