Professor of Theoretical Computer Science
-
University of Birmingham
- United Kingdom
- http://www.cs.bham.ac.uk/~mhe/
- @MartinEscardo@mathstodon.xyz
Triet Trinh
trinhminhtriet
✅ Platform Engineer | AWS Certified | Scrum Master PSMI | Java | Golang | Rust | Android | Remote
🤖 Vietnam
Emily 💞
emilycodestar
✨ hiiii! check out my open-source projects 💻💖 they’re like my little babies and I love sharing them 🌸🐾
Lucian
lucianchauvin
Undergraduate in pure mathematics and computer science. Meow :3
Texas A&M University Austin/College Station
Adam Layne
fNBU
I'm a Mathematician formerly working in academia. My interests are in mathematical modeling PDE, FP, and safety assurance of software.
Oregon, USA
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
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Sermet Pekin
SermetPekin
Senior Specialist | Economics & Finance | Data Science & AI | C++ · Python · R | Open Source Creator | Internal Trainer
Cicero
ciceropaulino
Hi! My name is Cicero. I am currently a graduate student in Information Technology at the Federal University of Rio Grande do Norte. 👨🏻🎓
Natal/RN - Brasil
hehelego
hehelego
stay focused,be motivated.
It is either meaningful or inspiring otherwise just a waste of time.
Paul Bittner
pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG
@TUBS-ISF Würzburg
Julius Hamilton
hmltn-0
Developer honing skills in system design, project management, and full stack. Focused on SQL, data science, and category theory. Let's innovate together.
Hamilton, Inc. Salt Lake City
Hefeng Xu
RWUSTC
Hefeng Xu here, undergraduate at University of Science and Technology of China. hep-th/math-ph/math.AG
HEP-TH@USTC / FB Mathematik@RPTU-KL
PreviousNext