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:

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 ...
Taller de programación con R R es un entorno y lenguaje de programación con un enfoque al análisis estadístico. Es un proyecto GNU el cual es similar al lenguaje S y a su respectivo entorno. R provee una amplia variedad de estad...
Taller python intermedio / avanzado En ciencias e ingeniería es necesario tratar con sistemas de ecuaciones lineales, sistemas de ecuaciones diferenciales, etc. Para abordar estos problemas se han desarrollado una serie de librerías que...
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