Agenda

Título: Modelos de programación lineal entera para problemas de asignación de turnos con condiciones de estabilidad Tesista: Dafne Sol Yudcovsky Jurado: Dr. Federico Pousa Resumen: Dentro del campo de la optimización, la programación lineal entera se destaca por su capacidad para modelar problemas de decisión en los que las [...]

Título: Estudio de Complejidad en Secuencias de Aminoácidos de Proteínas Director: Dr. Pablo Turjanski Co-Director: Dr. Ignacio Sánchez Jurados: Dra. Verónica Becher Dr. Diego Ferreiro Resumen: Motivados por la necesidad de explorar patrones estructurales y niveles de aleatoriedad en secuencias biológicas, este trabajo presenta el diseño e implementación de [...]

Título: Verificación Automática de Smart Contracts Move en Sui Director: Diego Garbervetsky Jurados: Juan Pablo Galeotti, Javier Godoy Resumen En el ecosistema de las blockchains, la verificación formal de contratos inteligentes es fundamental para garantizar su seguridad y confiabilidad, evitando vulnerabilidades que podrían resultar en pérdidas económicas o fallas [...]