Sidney Congard

dwarfobserver@mathstodon.xyz

<p>phd student of <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@gadmm" class="u-url mention">@<span>gadmm</span></a></span>, working on semantics of programming languages with resources (e.g. Rust)</p>