Papers, talks, theses, and software.
GraPhyz 3 Workshop
A differentiable, quasistatic simulator for elastoplastic metamaterials in JAX, used to inverse-design initial geometry for target mechanical and visual responses.
University of Amsterdam
Optimized metamaterial geometry for energy absorption under peak-force constraints using JAX simulations and non-smooth optimization, validated with compression tests on 3D-printed samples.
University of Amsterdam
Formalized mathematical statements underlying quantum optics experiments in the Lean theorem prover.
Co-founder and software developer for a legal platform built in Python and JavaScript.