August 1, 2024

Santiago Escobar, miembro del comité editorial de una de las revistas internacionales de máximo nivel en seguridad de programas

La publicación científica, editada por Elsevier, aborda, a través de artículos científicos, las áreas de lenguajes, modelos y paradigmas de programación, así como la especificación, análisis y verificación de propiedades de seguridad de los programas y sistemas ciber-físicos València, 13 de agosto de 2024.- El director de la Cátedra de Ciberseguridad INCIBE-UPV, Santiago Escobar, ha […]

Santiago Escobar, miembro del comité editorial de una de las revistas internacionales de máximo nivel en seguridad de programas Read More »

João Luis Alves Barbosa, de la Universidad de Porto, visita la Cátedra de Ciberseguridad INCIBE-UPV

El profesor auxiliar del departamento de Ciencia de Computadores de la Universidad de Porto,  João Luis Alves Barbosa, ha visitado al director de la Cátedra de Ciberseguridad INCIBE-UPV, Santiago Escobar, en el marco de la Cost Action 20111 Red Europea de Investigación sobre Pruebas Formales (EuroProofNet) València, 7 de agosto de 2024.- El director de

João Luis Alves Barbosa, de la Universidad de Porto, visita la Cátedra de Ciberseguridad INCIBE-UPV Read More »