Isis A. Gallardo

I'm an enthusiastic mathematician with passion for nature, art, technology and science.

Español


Biography

My name is Isis A. Gallardo. I was born in Tandil, Buenos Aires, Argentina. I hold a Licenciatura in Mathematics from UNICEN, a Master's in Mathematics from New Mexico State University (2019), and a PhD in Mathematics from the University of Denver (2024), where my dissertation focused on the algebraic structure of residuated lattices and ℓ-pregroups.
My research background is in ordered algebraic structures, universal algebra, and decidability — areas whose core design tension (finding structures expressive enough to ensure decidability, yet simple enough to admit explicit algorithms) maps directly onto open problems in post-quantum cryptography. I am currently transitioning to PQC, with a particular interest in how ring and parameter choices in lattice-based schemes such as ML-KEM and ML-DSA affect concrete security.



Current direction

I am currently pursuing graduate opportunities in post-quantum cryptography, with a focus on the algebraic structure of lattice-based schemes and their concrete security properties. I am working through foundational material in applied cryptography and have hands-on experience with quantum algorithms through the Erdős Institute's Quantum Computing Bootcamp (2025).



Portfolio

I have experience in several programming languages, such as Python, Fortran, R, and Qiskit, as well as technical writing and communications. Some of my work can be found here.



Research

My mathematical research spans algebraic logic, universal algebra, and residuated lattices. I am currently expanding into post-quantum cryptography, exploring connections between ordered algebraic structures and the hardness assumptions underlying lattice-based cryptographic schemes.

Publications

Conferences and talks

  • 2026: "Decidibilidad para variedades de Álgebras de Debilidad sobre ordinales límite", Seminario de lógica algebraica, Seminario online.

  • 2025: "Decidability and generation for the varieties of periodic l-pregroups", AMS Western Sectional Meeting in Denver.

  • 2025: “Decidability and generation for varieties of involutive residuated lattices”, Mathematical Congress of the Americas.

  • 2025: "Sobre la decidibilidad y generación de variedades de l-pregrupos distributivos", UNICEN, NUCOMPA

  • 2025: "Decidability and generation of the variety of distributive l-pregroups", Online Logic Seminar -Southern Illinois University

  • 2024: “Decidability and generation of the variety of distributive l-pregroups”, ASL Annual meeting, Invited Speaker- Algebraic Logic Special Session- Iowa State University

  • 2023: “Algorithm for decidability and generation of l-pregroups”, Logics Seminar, University of Denver.

  • 2018: “Isbell and de Vries dualities for compact Hausdorff spaces”, Algebra Seminar, New Mexico State University.



Teaching

Isis has experience teaching at the University of Colorado Boulder, the University of Denver, and New Mexico State University. I have planned, organized, and instructed several subjects, including:

  • College Algebra

  • College Algebra and Trigonometry

  • Pre-Calculus

  • Calculus I

  • Calculus II

  • Data & Models with R