Decano de Ingeniería ganó la convocatoria Amazon Research Awards El proyecto “Probabilistic and Symbolic Tools for P Program Verification”, en el cual el decano de la Facultad de Ingeniería y Ciencias de Javeriana Cali, Camilo Rocha, es investigador principal, resultó beneficiario de la convocatoria “Amazon Research Awards”, el pasado 25 de julio. Camilo Rocha, junto con los profesores Carlos Ramírez, del Departamento de Electrónica y Ciencias de la Computación, y Francisco Durán, de la Universidad de Málaga – España, como co-PI, recibirán la suma de 60.000 USD para ejecutar el proyecto que cuenta con dos líneas de acción en las que se diseñarán técnicas y herramientas para mejorar algunas de las acciones que está desarrollando e implementando Amazon. La primera[…]