This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
Guillaume Munch-Maccagnoni
@gadmm@mathstodon.xyz
Joined: 07/16/2023
About Guillaume Munch-Maccagnoni
Researcher with the Gallinette team at INRIA in Nantes. Interested in various scientific aspects of computing and reasoning, particularly those related to the Curry-Howard correspondence. I like lindy-hop dancing, running, and riding my e-bicycle.
Semi-professional account:
- professional opinion: posts on the topic of CS/maths unless stated otherwise
- personal (though mostly about science): boosts, memes, non-public posts, posts outside of CS/maths (rare)
Lists
gadmm has no public lists
Timeline
gadmm has no activity yet