#introduction I am Marie, researcher in logic at CNRS. I like everything from programming languages to functional analysis, and I have skills in semantics and proof assistants. My account is on a mastodon instance @lipn.info created by my lab for researchers in computer science.