Benben<p><a href="https://social.sciences.re/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>introduction</span></a> [en] I am assistant professor in <a href="https://social.sciences.re/tags/Saclay" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Saclay</span></a> (France) in the lab <span class="h-card"><a href="https://lipn.info/@lmf" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>lmf</span></a></span>. Researchwise, I am working in <a href="https://social.sciences.re/tags/formal" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>formal</span></a> methods and <a href="https://social.sciences.re/tags/quantum" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quantum</span></a> computing using <a href="https://social.sciences.re/tags/type" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>type</span></a> systems, <a href="https://social.sciences.re/tags/category" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>category</span></a> theory, <a href="https://social.sciences.re/tags/rewriting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rewriting</span></a>, <a href="https://social.sciences.re/tags/realizability" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>realizability</span></a>, and text-based and <a href="https://social.sciences.re/tags/graphical" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graphical</span></a> <a href="https://social.sciences.re/tags/languages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>languages</span></a>. </p><p>I live in Paris with my family. I commute by <a href="https://social.sciences.re/tags/bike" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>bike</span></a> when my knees let me do it.</p><p>I toot in French and in English.</p>