zksk (Zero-knowledge Swiss Knife) is a library for easily defining and computing zero-knowledge proofs. Developers define proofs using a simple yet powerful Python DSL that resembles Camenisch-Stadler notation that is often used in academic publications. Moreover, zksk defines higher level zero-knowledge building blocks such as range proofs, and proofs of signatures.
While I was a PhD student in Nijmegen, The Netherlands, I worked extensively on IRMA. A system designed to provide easy-to-use attribute-based credentials to users and organizations. I helped develop and design large parts of the initial IRMA Android smartphone application and frontend and backend. Since then, the team has continue to improve the application, including supporting iOS and moving to a different cryptographic backend. See here for the latest work.
At the University of Waterloo I worked on speeding up information-theoretic private information retrieval. When the server processes queries in batches, it can do faster than if it were to processes the queries one by one. We integrated these improvements into the Percy++ library