jaalonso
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 SevillaSevilla (España)
jaalonso's Following
- albtorval
- apurvnakadeNorthwestern University
- asuncionjc
- atareao@atareao
- benjaminselfridge
- brunjlarInput Output Hong Kong
- clucas26e4
- drewolsonChicago, IL
- elviejo79@input-output-hk
- FabianVegaAChile
- facundominguezTweag
- gdevanla@elementus.io
- goensUniversity of Amsterdam
- hargoniXLean FRO
- haruhisa-enomoto
- hrmacbethNew York, NY
- iagoleal@psrenergy
- iehalityTohoku University
- jocerfranquizsomewhere on earth
- kaushalmodi@analogdevicesinc
- kosmikusWell-Typed LLP
- larsrhGiesecke+Devrient
- lkuperUC Santa Cruz
- lukasstevensMunich
- madvorakInstitute of Science and Technology, Austria
- migueltoroUniversidad de Sevilla
- mlliarmEspaña
- motibWeizmann Institute of Science
- oantolin
- pambusPontificia Universidad Católica de Chile
- RaminHAL9001Tokyo, Japan
- tfcSelf-Employed Consultant
- ToposInstitute
- vbeffara
- vishallamaUSA
- YaelDilliesFrance