Instance directory: mathstodon.xyz
SW development @ Avast, evolution + theoretical biology @ natur.cuni.cz.
Profi sleeping @ home.
I use Arch, btw.
A lifelong #philomath, #STEM (#Science, #Technology, #Engineering, and #Mathematics) enthusiast, #traveller, #adventurer, and #multipotentialite with interests spanning multiple fields, including pure and applied mathematics, basic and applied sciences, mathematical modelling and analysis, scientific computing, information security (#InfoSec), #geography, #history, and #philosophy.
Self proclaimed and certified mathematician with a love for insects, a high interest in the concept of learning and the mission to build cool things
"mathematician" | Topos Institute, Oxford
PhD student at Aarhus Uni
Formal Verification/Probability/Concurrency
If I cant have love, I want power.
(Mostly non maths related posting)
A simple person, with some very complicated ideas. Trans woman. Computer programmer. Science and math fan. Amateur writer. Amateur game designer. Curious about too many things.
Uma pessoa simples, com umas ideias muito complicadas. Mulher trans. Programadora de computador. Fã de ciência e matemática. Escritora amadora. Criadora de jogos amadora. Curiosa sobre um bocado de coisas.
Categories, computer science and logic
Professor at the Department of Computer Science, University of Salzburg, Austria, working on graph algorithms
I support the initiative "Theoretical Computer Scientists for Future" (https://tcs4f.org/).
Hi! I'm a CS student doing programming language development (type theory in particular), assisted theorem proving and computer art as hobbies :)
I spend a significant part my free time overthinking how computing could be better, in terms of reliability, composability and transparence to the user.
I'm still a beginner when it comes to type theory, so I'll probably be asking lots of questions that may be ill-constructed. Please be gentle!
Maths communicator and educator. I enjoy finding maths in unlikely places. When I'm not doing maths, I'm usually crafting. They/them
The Publishing House of the European Mathematical Society
Scientific Project Officer - European Centre for Algorithmic Transparency (ECAT). Ph.D. in CS (UniTN), Wikimedian, free-software activist and physicist PGP 2E63 EF06 BBE9 68B4 E887 AD10 F4B4 A141 4B2F 9555
AI researcher at UWarsaw
Cryptography researcher, CTF player
White-box cryptography, symmetric-key cryptography, Boolean functions, cryptanalysis in general
I like physics, math and music. Trying to learn some programming.
Human Bean