Discover users based on their interests
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.
new orleans, la