Isis A. Gallardo

Matemática con pasión por la naturaleza, el arte, la tecnología y la ciencia.

English


Biografia

Mi nombre es Isis A. Gallardo. Nací en Tandil, Buenos Aires, Argentina. Tengo una Licenciatura en Matemáticas de UNICEN, un máster en Matemáticas de New Mexico State University (2019), y un PhD en Matemáticas de la University of Denver (2024), donde mi disertación se centró en estructuras de retículos residuados y ℓ-pregroups.Mi investigación se centra en estructuras algebraicas ordenadas, álgebra universal y decidibilidad — áreas en las que el diseño consiste en una tensión constante para encontrar estructuras algebraicas que sean suficientemente expresivas como para asegurar la propiedad de generación, pero suficientemente simples como para admitir un algoritmo explícito; esta idea se aplica directamente a problemas abiertos de criptografía poscuánticActualmente, me encuentro incursionando en PQC, con interés particular en como los anillos y parámetros elegidos en esquemas lattice-based como ML-KEM y ML-DSA afectan la seguridad concretamente.aicas que sean suficientemente expresivas para asegurar la propiedad de generación, pero suficientemente simples como para admitir un algoritmo explícito; esta idea directamente se aplica a problemas abiertos de criptografía post-cuántica (PQC). Actualmente, me encuentro incursionando en PQC, con interes particular en como los anillos y parametros elegidos en esquemas lattice-based como ML-KEM and ML-DSA afectan la seguridad concretamente.



A futuro

Actualmente me encuentro buscando oportunidades de grado en PQC, con énfasis en estructuras algebraicas de esquemas lattice-based y en sus propiedades de seguridad. Me encuentro trabajando en material fundamental en criptografía aplicada y tengo experiencia práctica en algoritmos de programación cuántica a través del Erdős Institute's Quantum Computing Bootcamp (2025).



Portafolio

Tengo experiencia en algunos lenguages de programacion, como Python, Fortran, R, y Qiskit, como asi tambien escritura tecnica y comunicacion. Algunos de mis trabajos pueden encontrarse aquí.



Investigación

Mi investigación en matemáticas abarca lógica algebraica, álgebra universal y retículos residuados. Actualmente me encuentro expandiendo en criptografía poscuántica, explorando conexiones entre estructuras algebraicas y las asunciones de complejidad de los esquemas de criptografía lattice-based.

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

Tengo experiencia enseñando en varias universidades como University of Colorado Boulder, University of Denver, y New Mexico State University. He impartido y planificado numerosas clases como por ejemplo:

  • College Algebra

  • College Algebra and Trigonometry

  • Pre-Calculus

  • Calculus I

  • Calculus II

  • Data & Models with R