Biography

I am the first in my entire family to pursue higher education, and not just any degree, but a STEM degree. Even more, I earned a Bachelor of Science in Mathematics, something I didn’t even know existed until my junior year of college. My parents immigrated from Oaxaca, Mexico, and I was born and raised in the San Gabriel Valley, in the city of El Monte, California. After earning my B.S. from California State University, Los Angeles, I knew I wanted to continue exploring advanced mathematical topics. With that goal in mind, I decided to pursue graduate studies. My first attempt at applying to Ph.D. programs after graduation was unsuccessful. The following year, I reapplied and was accepted into multiple master’s programs in mathematics and computer science. I was also awarded the GEM Fellowship, with the University of Southern California as my graduate institution and the Georgia Tech Research Institute as my employer sponsor. I am now pursuing a master’s degree in Computer Science with a focus on Mathematics and Theoretical Computer Science. My interests lie in optimization and security, where I aim to apply advanced mathematical concepts in machine learning and cryptography, with a particular focus on computational complexity.

Academic Status

Masters Student - 2nd

Research Area/Department

Computer Science; Mathematics

Major/Specialty

Mathematics and Computer Science with an emphasis in Cryptography and Optimization.

Degrees Earned or in Progress

B.S. in Mathematics, 2023 M.S. in Computer Science, Expected December 2026

Academic Preparation

Quantum Computing and Quantum Cryptography - In Progress Machine Learning - In Progress Mathematical Cryptography - In Progress Analysis of Algorithms Mathematical Statistics Computer Networks Real Analysis Abstract Algebra

Research/Academic Interests

I am interested in designing and implementing a code-based, quantum-secure zero-knowledge proof (ZKP) system, specifically a Succinct Non-Interactive Argument of Knowledge (SNARK). As a first step, I plan to work with an existing code-based ZKP and perform empirical testing by integrating it into a Marlin proof system using the Rust zk-SNARK ecosystem, Arkworks. This will allow me to directly observe the limitations and practical challenges of adapting a library originally designed for classical (non–post-quantum) cryptographic protocols such as elliptic curves. From these insights, I aim either to enhance the existing zk-SNARK ecosystem to better support quantum-secure cryptography or to develop a new ecosystem optimized for post-quantum ZKPs. Ultimately, this work will provide a foundation for creating a quantum-secure ZKP framework that is both efficient and implementable across real-world systems. During this time, I plan to research how machine learning can be used to attack lattice-based cryptography. This line of research will serve as a benchmark to evaluate the robustness of code-based approaches under modern attack models. As you may tell, my interests are both multidisciplinary and interdisciplinary, particularly when viewed through the lens of mathematics. I am drawn to abstract algebra, especially topics such as field extensions, which I see as foundational tools for advancing my understanding of cryptography and zero-knowledge proofs. On the optimization side, I am interested in convex geometry and topology, including areas such as linear programming and convex learning, as a means of deepening my grasp of machine learning and high-dimensional statistics.

Computational and Data Science Areas

Applied Computer Science; Artificial Intelligence and Intelligent Systems; Computer Science; Other Computer and Information Sciences

Motivation

As a low-income, first-generation Indigenous student at a prestigious and high-cost institution, I am acutely aware of the disadvantages that come with my upbringing, especially when compared to peers who had access to advanced educational opportunities early in their adolescence. While many students can rely on family resources or prior networks, I have depended on fellowships to make my education possible. I recognize that life is not always fair, and I remain proud of my background and the perspective it gives me. At the same time, navigating research opportunities and building connections with faculty can feel particularly challenging in an environment where many students arrive with significant head starts. What excites me about this program is the chance to be part of a community that not only acknowledges these challenges but actively works to overcome them by fostering sustainable networks of support. I hope to gain mentorship, professional connections, and a welcoming environment where I can grow as both a researcher and a community member. At the same time, I look forward to contributing my own perspective, resilience, and commitment to equity in STEM to the Sustainable Horizons Institute’s vision. By participating, I hope to strengthen both my technical development and my ability to help build inclusive scientific communities where all students can thrive. In addition, my academic and research interests align closely with the mission of Sustainable Research Pathways and the NSF’s National Artificial Intelligence Research Resource (NAIRR) projects. My work sits at the intersection of mathematics, theoretical computer science, and security, where I explore areas such as optimization, cryptography, and zero-knowledge proofs. These fields are deeply connected to the future of trustworthy and secure AI. Engaging with SRP would not only allow me to apply these interests to real-world AI challenges, but also connect me with researchers and faculty who are advancing cutting-edge work in this space.

Lightning Talk Title

Quantum Secure ZKSNARKs - Code-Based Zero Knowledge Proofs

Keywords (Maximum 20 words)

Zero-Knowledge Proofs; Post-Quantum Cryptography; SNARKs; Cryptographic Protocol Design; Rust Programming; Arkworks; Coding Theory; Lattice-Based; Applied Algebra; Machine Learning for Cryptanalysis