CLARA
RODRÍGUEZ NÚÑEZ
Predoctoral FPI
![Foto de CLARA](/img/nophoto.png)
![Foto de Harvard University](/img/noimage_org.png)
Harvard University
Cambridge, Estados UnidosPublicacións en colaboración con investigadores/as de Harvard University (1)
2023
-
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
Proceedings of the ACM on Programming Languages, Vol. 7