My research areas of interest include programming languages, proof
assistants, and their type systems.</p>
My research areas of interest include programming languages, proof
assistants, and their type systems.</p>
by <a href="//savoirfairelinux.com/en">Savoir-faire Linux</a> as a
Free Software Consultant, where I get to hack on various parts
of <a href="//jami.net">Jami</a>, work with the maintainers of Jami
by <a href="//savoirfairelinux.com/en">Savoir-faire Linux</a> as a
Free Software Consultant, where I get to hack on various parts
of <a href="//jami.net">Jami</a>, work with the maintainers of Jami
community liaison between the Jami core development team and the wider
free software community around Jami. To be sure, the views or
opinions expressed on this site are solely my own, and do not
community liaison between the Jami core development team and the wider
free software community around Jami. To be sure, the views or
opinions expressed on this site are solely my own, and do not