Explore Mathstodon
Discover users based on their interests
I'm a maths & CS PhD student at Radboud University Nijmegen. Into maths, books, tea, board games, TTRPGs.
Applied mathematician. PhD Student in IA. #SciComm #Math #Entomology #OpenScience #Sudoku #Outdoors
Assistant Professor Cal State San Marcos | math: dynamics and ergodic theory | #biinsci 🏳️🌈 | Black Lives Matter | Find me on a bike 🚴🏻♀️| here for #mathtwitter
Quantum information theorist at University of Illinois at Urbana-Champaign, Department of Mathematics
Hi, I am an Economics PhD student at Northwestern University studying Economic Theory. I have a lot of interest in measure theory and topology.
I'm currently an undergraduate Computer Science Engineering student, but I'm interested in formal thinking and theoretical topics. In fact I'm planning to go to grad school in Logic next year.
My current interests are centered in theoretical computer science and mathematical logic. More specially: proof assistants, type theory, constructive logic and the formalization of mathematics.
a queer disabled book nerd obsessing over math
cannot diagram a sentence
book recommendations are always appreciated :)
I'd really appreciate it if you would say hello before following me ^^
20
Avatar courtesy of @jordyd@octodon.social
Header from https://andrew.wang-hoyer.com/experiments/chaos-game/
Just a tech. I'm from Japan. Mentally disabled.
Enjoys mathematics, their history and their philosophy. // MPhil Philosophy and History of sciences. // MSc Mathematics // He/Him.
PhD Student in higher category theory and homotopy type theories.
Postdoc in Theoretical CS at TU Ilmenau. Interested in all things discrete.
uwcad'19, math undergrad, classical guitar, prog, linux, low-key ENFP personality type.
