Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
-
Universidad de Sevilla
- Sevilla (España)
- https://jaalonso.github.io
- @Jose_A_Alonso
- @Jose_A_Alonso@mathstodon.xyz
- c/JoséAAlonso
Earned achievements
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
x2
Pull Shark
x2
Loading
Starstruck
Starstruck
Loading