Doctoral assistant in Learning Sciences 🧑‍🏫 @ REACT group #epfl · Microengineer specialised in low-power embedded systems for the Internet of Things · VP Outreach @graasp · Slightly involved in politics

Toots in 🇨🇭🇺🇸🇫🇷

Scala developer, Gaymer, Hobbyist Game Developer

Exploring Mastodon.

PhD in Programming Languages. Formal Methods Engineer at Bedrock Systems — Coq/Scala/Haskell/Agda — geek — formally verifying C++

Web developer per lavoro, ciclista per hobby.

"Io ero lì Gandalf, ero lì, 3000 anni fa, quando ci si collegava ad Internet coi provider locali a chiamata urbana. Ero lì, prima di Galaflat e di Libero@Sogno".

Just your average programmer. Addicted to life and could not care less about death.

- Loves reptilians, games, chatting.
- Willing to discuss programming and other interests..
- Currently into Python, C family languages, and Cyber-Security (pen-testing, etc.)
- Goes by any nickname or pronouns. (e.g., Dock, Scalara..)
- Chronically online.
- Currently exploring the fedi-verse (seems cool!)

Feel free to hit me up :D

Soy pasivo varonil! Me encanta mamar 🍆 ) siempre limpias) garganta profunda😏me gusta rudo🥵entron y algo dulcero 🌿🧊🪨

Italian/Greek #scala dev and physicist, passing Turing tests since 1989. I have a blog that nobody reads. Opinions are my own. He/him.