Highlights
- Pro
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Avatar: (c) Cafenated, Berkeley, CA. https://cafenated.myshopify.com
Chapman University Orange, CA
Interdisciplinary Physics Team (InPhyT)
InterdisciplinaryPhysicsTeam
Modeling complex systems via @JuliaLang and @python: Computational Social Science📱| Computational Epidemiology 🦠 | Computational Neuroscience 🧠.
University of Turin Turin, Italy
Taylor Belcher
hotdogontology
Math & CS Teacher, Part-Time CS PhD Student, Amateur Tiny Game Dev
South Carolina Governor's School for Science and Mathematics Hartsville, SC
unstablehomotopy
unstablehomotopy
Locally compact locales, locally finite CW-complexes, globular objects, internal&enriched categories&presheaves, internal&enriched operads&operad actions
Alien Mathematicians
jscarfy
Since mathematics is the same across this expanding universe for all species, we aliens 👽👽👽 have been trying to communicate with you humans via mathematics.
Barton Rhodes
bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency
being exerted on systems"
@plurigrid san francisco
Bulhwi Cha
chabulhwi
I aim to create video games and other media for learning STEM disciplines.
Semmalgil Seoul, Republic of Korea (South Korea)
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@coq-community Vietnam
Alcides Fonseca
alcides
Associate Professor at University of Lisbon, Portugal
Researcher at LASIGE
LASIGE, University of Lisbon Lisboa, Portugal
Jose A. Alonso
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 Sevilla Sevilla (España)
Ingo Blechschmidt
iblech
Mathematician working in applied topos theory. Also interested in functional programming.
University of Padova Augsburg, Germany