Taller de Programación Funcional y Criptografía con Haskell

Taller de Programación Funcional y Criptografía con Haskell

Taller de Programación Funcional y Criptografía con Haskell

Este taller es una pequeña introducción a la metodología de programación funcional utilizando como lenguaje Haskell, pasaremos por calculo de lambdas, uso de stack, datatypes básicos, uso de strings, tipos y algebra abstracta (haremos todo lo posible para llegar a teoría de categorías con monadas) todos estos temas con el fin de entrar al mundo de la criptografía, pasando por temas básicos, y poder utilizar un lenguaje (basado en Haskell) llamado Cryptol (utilizado principalmente por la agencia nacional de seguridad de Estados Unidos) y en ella definir sistemas criptográficos y verificar su validez (utilizando M3 como SAT-solver)

David Cardozo es una mezcla entre científico e ingeniero con intereses múltiples en el área de ciencias computacionales y seguridad. Campeón de la primera maratón de seguridad informática en la Universidad de los Andes e instructor regular (veranos) en la misma universidad. Apasionado por la matemática aplicada y los temas de computo científico.

Este Taller tendrá una duración de 6 horas y será dictado de 7 a 9 am los días Martes 4, Miércoles 5 y Jueves 6 de Abril de 2017 en la Sala 2 de Geomática en el Edificio de Laboratorios Pesados en el campus central de la Universidad Industrial de Santander.

Formulario de inscripción: https://goo.gl/forms/T2HuFoGAznrnrBF53

Entradas Relacionadas:

Taller Ilustración Taller de Ilustración - Procesos creativos y el uso del software libre Taller de introducción al proceso de ilustración análogo-digital, utilizando como herramientas básicas Krita e Inkscape. Program...
Curso de Programación con Python Curso de programación con Python, dirigido a personas con o sin conocimientos de programación. El objetivo de este curso es servir como base para continuar el aprendizaje en algunos de los diferentes ...
Matemáticas para Ciencias e Ingeniería con Julia Mi objetivo es que esta clase sea el curso de matemáticas más útil que haya tenido. Y voy a hacer todo mi esfuerzo para que así sea. Esto no va a ser como su típica clase de cálculo donde se explica u...
Taller SAGE SAGE es un entorno de cálculos matemáticos (MCE – Mathematics computing enviroment) de código abierto para llevar a cabo cálculos algebraicos, simbólicos y numéricos. Los entornos de cálculos matemáti...

About the Author

Diego Acosta administrator

1 Comment so far

Segundo Festival de Cultura Libre – CUSOL UISPosted on  7:11 pm - Mar 17, 2017

[…] Haskell – German David Cardozo. […]

Leave a Reply