Dana Liesnikov

liesnikov@types.pl

<p>(Finishing) a PhD in type theory at TU Delft. Also interested in compilers, distributed systems, and databases.</p>