Explore Mathstodon

Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

Mathematics and Statistics undergraduate at the London School of Economics and Political Science

Mathematics graduate from the University of Oxford. Specialised in numerical analysis.

Applied mathematician. PhD Student in IA. #SciComm #Skeptic #Entomology #OpenScience

Just your standard Jack-of-All-Trades.

I collide black holes for a living.
I use supercomputers to do that.

Foundations, Logic, Semantics, Types, Computer Science

Casual Lecturer at UNSW
Researcher at Data61
Opinions are my own, not my employers'.

한국어 좀 할 수 있다

math @eth, science, education, politics, craft beer. Manchmal auch auf Deutsch.

Science Policy. Natura naturans

Professor of Chemistry, Biochemistry & Physics. R&D in Applied Math, Quantum & Thermodynamics.

programmer, nerd.
new orleans, la