Consultant in applied mathematics and data privacy
I'm a computer scientist at the University of California, Irvine, interested in algorithms, data structures, discrete geometry, and graph theory.
Mathematician, at Google, keeping the web working through cryptographic ornithology. He/Him.
Mathematician, robot fan, auntie and unstoppable thingdoer from Manchester. She/her
Computer Scientist. Assistant professor interested in Boolean satisfiability, counting, reasoning under uncertainty, formal verification. Feminist. Trekkie. Traveller. Go-to LaTeX expert in our research group.
Profile pic is that of a young, blonde woman sitting behind a desk with papers, pens and markers, looking up over her shoulder at the camera.
Banner pic shows a big logo: a colourful geometric shape with the letters GHC next to it. I am sitting in front of it, between the G and the H.
Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more.
Random initial conditions (DM to request!): M between 0.1 & 150 solar masses | Speed less than 10 km/s | Positions in a 50x50 AU box | code at GitHub.com/kirklong/ThreeBodyBot
Interested in maths, genetics, archeology, prehistory, nordic languages, cooking, photography, etc
Can read Spanish, Italian, and some (very) simple German and Norwegian.
In my time, the mammoths were bigger.
"Dans cet étrange carnaval on a vendu l'Homo sapiens pour racheter du Néandertal"
"You will find me if you want me in the garden unless it's pouring down with rain"
Born at 327 ppm
I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.
creative coding, gifs made with code
Proud father of an astrophysicist.
Aikidoka at Multnomah Aikikai
Staff worker for the Palo Alto University PhD in clinical Psychology program.
Team Oregon instructor
he/him
I'm Tom, and I'm a freelance Museum Learning Consultant, working on things that fall under one or more of museum learning, mathematics education, and maths communication. Also a part-time maths teacher, for the time being. Also, I'm writing a book rooted in the history of maths.
Recreationally, I'm in to #Maths, #Movies, #Music & #Books. I also run my local #MathsJam.
I'm in Milton Keynes.
#MuseumEd #GLAM-Ed #MathsInMuseums #astronomy #guitarist #fedi22 #MKMathsJam #Museums
Probably the only anglophone Toby Bartels. They/them. Mathematics instructor at a community college in Nebraska. 🏴🚩🏳️🌈🏳️⚧️
Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Programming
Estadística, datos, gráficos, cuentas, cuentas y más cuentas 📊⛏
Aquí se habla de: #estadística #statistics #datos #CienciaDeDatos #DataScience #Rstats #dataviz #muestreo #sampling #encuestas #surveys #sesgo #bias
I never know what to put here
Stochastic Solutions Limited
Test-Driven Data Analysis.
Jazz • Maths • Whisky
100% inheritance tax
Born at 320 ppm CO₂.
Research, analysis, development, reproducibility. Keywords about me: STEM, piano, nature, bikes, swimming.
Holder of the Chaire Combinatoire at the Collège de France. Fellow of Trinity College Cambridge.
Associate professor at the Department of Computing Sciences (DACS), Maastricht University. Interested in graph theory, phylogenetics, fixed parameter tractability, combinatorics, algorithm engineering and proof assistants / computational proof.
