Skip to main content

I am a long time computer algebra practitioner and researcher. I also bake bread, read books, ride bikes and volunteer in trail stewardship and BSA scouting

I am a former academic mathematician (in graph theory) who now works as a software engineer. I am also a hobbyist game developer who makes mathematically-inflected browser games that you can find at: https://puleo.itch.io

Trying to live a sustainable city life. Have an interest in renewable energy, biodiversity and social equality.

Love comics - graphic novels and BDs.
Read at least a small mountain's worth of fantasy and science fiction novels.

Studied mathematics & worked with applied mathematics in software development in/around Copenhagen.

Quit my job because of lousy management and are trying out life as a student for the second time. Weird but good.

co2 @ dob = 330ppm
LGBTQAI+ (in the A-L-Q area)

Une citation mathématique chaque jour & quelques actualités mathématiques.
A mathematical quote every day & some mathematical news.
#mathématiques #mathematics #maths #math

𝐼 𝑎𝑚 𝑎 𝑟𝑒𝑡𝑖𝑟𝑒𝑑 𝑚𝑎𝑡ℎ𝑒𝑚𝑎𝑡𝑖𝑐𝑠 𝑡𝑒𝑎𝑐ℎ𝑒𝑟. 𝐼 ℎ𝑎𝑣𝑒 𝑑𝑜𝑛𝑒 𝑠𝑜𝑚𝑒 𝑤𝑜𝑟𝑘 𝑜𝑛 𝑎𝑏𝑐 𝑐𝑜𝑛𝑗𝑒𝑐𝑡𝑢𝑟𝑒.𝐼𝑡’𝑠 𝑟𝑒𝑎𝑙𝑙𝑦 𝑠𝑒𝑚𝑖𝑛𝑎𝑙 𝑡ℎ𝑎𝑡’𝑠 𝑤ℎ𝑦 𝐼 𝑤𝑎𝑛𝑡 𝑡𝑜 𝑑𝑒𝑚𝑜𝑛𝑠𝑡𝑟𝑎𝑡𝑒 𝑖𝑛 𝑡ℎ𝑒 𝑐𝑜𝑛𝑓𝑒𝑟𝑒𝑛𝑐𝑒 𝑜𝑓 𝑐𝑜𝑛𝑔𝑟𝑒𝑠𝑠 𝑜𝑓 𝑚𝑎𝑡ℎ𝑒𝑚𝑎𝑡𝑖𝑐𝑖𝑎𝑛𝑠 𝑜𝑛𝑙𝑦.

computer aficionado || PhD student @ University of the Basque Country

:: Quantum|Non-linear optics
:: Encrypted|Decentralized communication
:: Functional|Scripted languages
:: Dis|U topia

PhD Candidate in Mechanical Engineering @ Graz University of Technology. Development Engineer in industry. Words and opinions related to this account are my own. He/him.

I like Raymond Smullyan, David Graeber, Virginie Despentes, and Agnes Henry (although her books are unfindable so it's merely an optimistic guess). Emacs is my comfort zone, and a recent thing I've discovered is J programming along with Kenneth Iverson's lovely little books he did.

Profile is a white cat in a beret, scarf, jacket and glasses holding presumably a cortado. Header is the famous photo of a barricade during the 1871 Commune de Paris.

Foundations, Logic, Semantics, Types, Computer Science

Casual Lecturer at UNSW
Researcher at Data61
Opinions are my own, not my employers'.

한국어 좀 할 수 있다

Adoro las mates 🧮 y la estadística 📊Bayesiana, por favor. He escrito un libro📙: ¿Cómo sobrevivir a la incertidumbre? Y divulgó en 🎙Radio (Raiz de 5, Radio Ciencia, Próxima Parada) y podcast (A Ciencia Cierta, Experimiento Demente) en anabelforte.com y allá donde me dejen.

Math professor in Heidelberg, Germany.
I like groups and geometric spaces, all things symmetry, coffee, art and chocolate.
(she/her)

Naukas, Catástrofe Ultravioleta, Yahoo Ciencia, Cazador de Cerebros TVE, RNE y el Podcast Irreductible de aventuras científicas: http://patreon.com/Irreductible

linear programming enthusiast. haunted by beans.
she/her

#orms #cstheory

SW Engineer, Amateur mathematician (contributed to metamath.org, oeis.org, ...), Legal Tourist (went to Honolulu in 2010 to watch the end of Sancho v. DOE).

mathematician, wife, mother, Professor, addicted to math

Prof. für Theorie und Geschichte der Wissenschaften an der Universität Tübingen

Economist at US Federal Trade Commission | Northwestern University Economics PhD

#️⃣CatSalad – Math puns∕memes∕boosts go here

1 + 1 = 3 (for very larger values of 2)

silly transfem maths nerd :3
i have committed to mathsposting
i try to share my passion with the world