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 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...
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 Introducción a Linux & Bash Scripting La Comunidad Universitaria de Software Libre realiza semanalmente un taller introductorio para la administración del sistema operativo Linux en workstations. El curso tiene una duración de dos meses a...
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...

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