Software development

I develop software with applications in quantum information theory.


NonlinSDP

A Matlab solver library for convex nonlinear optimization over the positive semidefinite cone aimed at entropic optimization problems. Includes the first interior-point solver with super-exponential convergence \(o(log(1/\epsilon))\) for this class of problems.

v1.0 is released, in development…


KeyMaker

A Matlab library for implementing finite-size security proofs of quantum key distribution.

Not released, in development…