Nacido en Burgos en 1995. Estudiante de informática en la UCM y máster en Métodos formales en Ingeniería Informática por la UCM, UPM, y UAM.
Actualmente trabajando en Haskell para IOG en el equipo de Consensus de cardano-node.
Aficionado a Prolog.
Contacto
Puedes escribirme a mi correo [email protected].
Actualmente la única clave privada que tengo en mi poder es 610eda4e6034d6d68a48066ee933a3bdb04a77f4. Las otras claves que puedan aparecer online han sido perdidas y no tengo acceso a ellas.