José A. Alonso
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain
- What is programming?... and what is programming in the age of artificial intelligence? ~ Sebastian Nicolajsen, Claus Brabrand. cacm.acm.org/opinion/what... #Programming
- #MULCIA: 2 PhD-position in proof-theoretic semantics, UCL - London (UK). tinyurl.com/2yyrx8ce #PhD #CompSci
- "Debes de estar dispuesto a ser un principiante cada una de tus mañanas." ~ Maestro Eckhart (1260-1328).
- Readings shared May 6, 2025. jaalonso.github.io/vestigium/po... #Emacs #ITP #IsabelleHOL #Math #Python
