Luis Javier Paradela Díaz, es un futbolista cubano que juega como extremo izquierdo en el Deportivo Saprissa de la Primera División de Costa Rica.
Cómo encontrar fallos en sistemas que no existen: métodos formales para programadores
Hillel Wayne, autor de "Logic for Programmers" y especialista en métodos formales, ofreció esta charla en la conferencia Software Should Work (SSW) 2026 titulada "How to Find Bugs in Systems That Don't Exist". La presentación introduce los métodos formales, disciplina que usa matemáticas para analiz