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,
participate in independent implementation pilots,
explain verifiable internet voting to the general public,
and develop, operate and maintain internet voting at UZH.