Visitará el IM Borzoo Bonakdarpour

Quien desde la McMaster University, Canadá, estará con nosotros del 18 al 26 de julio de 2015.

El Dr. Borzoo Bonakdarpour es profesor del Department of Computing and Software de la Universidad de McMaster en Canadá, es un especialista en métodos de formales de verificación y algoritmos distribuidos. Es invitado del Dr. Sergio Rajsbaum para continuar con el proyecto de verificación distribuida y tolerancia a fallas. Para más información sobre el Dr. Bonakdarpour siga el siguiente enlace.