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 de Python – Aplicación web para análi... La Comunidad Universitaria de Software Libre realizo un Taller de Python "Aplicación web para análisis de datos" en el marco del Congreso Nacional Ingeniería de Sistemas e Informática (CONISI). El ...
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...
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 LaTeX Es un sistema de composición de textos, orientado a la creación de documentos escritos que presenten una alta calidad tipográfica. Por sus características y posibilidades, es usado de forma especialme...

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