Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.

Homepage: https://jaalonso.github.io

Sevilla, Spain