APL Materials / Impulsando la confianza en el software con verificación formal

En este nuevo evento de FP Madrid, el lenguaje de programación APL y la verificación formal serán los protagonistas. Jesús y David, que hablarán en inglés y en español, respectivamente, nos introducirán a estas tecnologías y técnicas, dando contexto sobre su aplicación en el mundo real. El evento tendrá lugar en el ILab, al que agradecemos enormemente que nos ceda sus instalaciones.

Agenda
18:30 Registration & Welcome
18:45 Jesús Galán (Dyalog) APL Materials
19:30 David Mazarro (Stack Builders) Impulsando la confianza en el software con la verificación formal
20:15 Networking

Speakers & Abstracts

Jesús Galán (Dyalog) APL Materials
APL is A Programming Language. It is also an alternative to mathematical notation, and a tool of thought, and it has been the main inspiration for functional programming, NumPy or Matlab, to give some examples. Moreover, APL has been in production in all kind of domains for more than 50 years. In this talk, we will learn about APL, its history, and some actual applications, including self-hosted compilers, physical models for metallurgical research, and industry-leading financial software. Make sure you join if you want to start your own journey to learn APL and become an array programmer!

JGL was born in Ávila, but has spent most of his professional career in Belgium and the Netherlands, working in the field of materials science research. Besides having developed all kinds of metallurgical software, he has also been involved in different open source projects and is an enthusiast of array programming. Nowadays, he works together with Dyalog to bring back APL to academy, and is a visiting professor at Ghent University.

David Mazarro (Stack Builders) Impulsando la confianza en el software con la verificación formal
El testing puede ayudarte a descartar ciertos bugs en tu software, pero en general no es capaz de asegurar que tu software se comporta exactamente como esperas. Cuando necesitas ese elevado grado de confianza en el software, ¡la verificación formal entra en juego! Esta charla es una introducción a la verificación formal, y no requiere de conocimientos particulares de programación funcional, el único prerrequisito es estar familiarizado con programación en general para seguir algunos de los ejemplos que se muestran en la charla.

Soy David Munuera Mazarro, graduado en Matemáticas e Informática y máster en Métodos Formales en Ingeniería Informática. Actualmente trabajo como Software Developer en Stack Builders, donde tengo la oportunidad de hacer desarrollo web utilizando programación funcional además de enseñar Haskell. Como dice mi bio en redes sociales, soy "un desarrollador de software amante del tipado y la programación funcional, entusiasta de los videojuegos y músico frustrado. ¡También me encanta la cocina!"