Carlos E. Budde

Crear un sistema para comparar bibliotecas entre lenguajes de programación de manera efectiva.

Examinando las nuevas herramientas para verificar sistemas complejos.

Combinar clases de estado estocástico y simulación ofrece un análisis mejor de sistemas complejos.

Aprende a usar métodos estadísticos sólidos para tomar mejores decisiones en sistemas complejos.

Los investigadores mejoran la coordinación entre camiones y palas en la minería a cielo abierto.