Coinvestigador Proyecto 5
El profesor Rocha trabaja en el desarrollo de técnicas y herramientas para la verificación formal de sistemas abiertos y de estados infinitos, como sistemas robóticos, protocolos de seguridad y tecnología web. Para le programa ÓMICAS su trabajo se centrará en los métodos formales en optimización por teoría de grafos para mejorar variedades agrícolas, basado en los datos de ómicos.
