of custom high-quality web-applications
I develop, operate and maintain
baupen and
nodika;
automate internal processes of the
University of Zürich;
create
PDF writers,
language
servers and
deployment tools;
and was part of the teams powering
Stratus and
BlueConnect.
into usable provably-secure internet voting
I propose and proof
internet voting protocols,
publish
independent implementations
and
studies,
explain verifiable internet voting to
the general public,
and develop, operate and maintain internet voting at
UZH.