EuroSys es una conferencia de primer orden sobre diversos aspectos de la investigación y el desarrollo de software de sistemas, incluidas sus ramificaciones en el hardware y las aplicaciones
El taller ha reunido a expertos de diferentes ramas de investigación dentro de la Ingeniería Basada en Modelos (MDE) para discutir sus técnicas, avances y aplicaciones a diferentes dominios
Su trabajo: ”Sistemas de Restricciones Algebraicas para Pruebas Criptográficas aplicado a SHA-256” supone las bases para la demostración y verificación del código hash a través de matrices
Aleks Nanevski ha dedicado su vida a resolver uno de los mayores retos de la informática, emprendiendo un largo y arriesgado camino para revolucionar nuestra forma de concebir la programación
