- Barcelona
Daniel Lemire
lemire
Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2025) and among GitHub's top 1000 developers.
Université du Québec (TELUQ) Montreal, Quebec, Canada
Rubén Ballester Bautista
rballeba
I do theorem proving at DL at Axiom Math. Also, I am a PhD student in Topological Deep Learning at Universitat de Barcelona
Universitat de Barcelona Spain