Bartosz Milewski en la Facultad

23 de marzo, 2018

Cuando estuvimos en la Lambda World el pasado octubre pudimos hablar con los ponentes que allí presentaban. Uno de ellos era Bartosz Milewski, un conocido divulgador sobre programación, experto en C++ y Haskell y con un doctorado en Mecánica Cuántica.

En su blog podéis conocer más sobre él y lo que escribe. También suele ser bastante activo en aportar respuestas a Quora.

Durante la segunda semana de abril, Bartosz Milewski estará en la facultad de informática de la UPM. Su buena capacidad para comunicar y sus grandes conocimientos en programación hacen de esta una oportunidad como nunca para aprender. Sin duda será un momento muy especial para la asociación, coincidiendo con el 35 aniversario de la fundación de ACM UPM.

El ciclo de charlas

Del 9 al 13 de abril Bartosz Milewski estará en la ETSIINF haciendo un ciclo de charlas sobre Teoría de Categorías. Esta área de las matemáticas guarda una profunda relación con la informática, y últimamente se está recurriendo a ella para implementar nuevas abstracciones en los lenguajes de programación funcionales. De esta teoría se toman términos como mónada o funtor, y empiezan a ser usados en contextos de programación.

Durante la segunda semana de abril, a partir de las 17:00, Bartosz Milewski estará hablando en el hemiciclo 1003 sobre conceptos, fundamentos y aplicaciones de la Teoría de Categorías. Entre los temas a tratar podemos encontrar:

La relación entre la teoría de categorías, la teoría de tipos de Martin Löf y la lógica (proof-relevant constructive logic).
Definiciones de las categorías, objetos terminales, elementos globales.
Categoría opuesta, objetos iniciales.
Producto y Coproducto.
Categorías monoidales y tipos algebraicos de datos.
…

Y más temas que se irán tratando a lo largo de la semana.

Cartel Bartosz Milewski 9 de abril al 13 de abril en la ETSIINF

Además, desde ACM UPM, se prepararán y expondrán una serie de papers ya publicados sobre programación funcional. Estas presentaciones complementarán las charlas de Bartosz, y se realizarán previamente a ellas. Desde la cuenta de Twitter de ACM (@acmupm) y desde el canal de Telegram (@acmupm) se puede estar al tanto de las novedades en cuanto a estas presentaciones.