Título: Framework de Detección de Anomalías en Mesas Electorales Director: Cecilia Ruz Jurados:  Juan Pablo Ruiz Nicolini, Pablo Turjanski Resumen: En el marco de garantizar la transparencia y confiabilidad de los procesos electorales, la presente investigación propone abordar la temática crucial de la calidad de datos en las elecciones en Argentina. El [...]

Título: "MimicryMonitors: Verificación de programas con fragmentos comunes". Directores: Javier Godoy, Diego Garbervetsky Jurados: Dra. Flavia Bonomo, Dr. Juan Pablo Galeotti Resumen: En el desarrollo de software moderno, es común que los sistemas evolucionen mediante pequeños cambios incrementales. Esta característica se puede explotar en diversos escenarios, especialmente en el [...]

La presentación estará a cargo de Manuel Durán y el título de la charla es "Fútbol y Datos: La experiencia del Racing de Santander"

Título: Generación de modelos CAD 3D con grandes modelos de lenguaje Directores: Emmanuel Iarussi y Rodrigo Castro Jurados: Gisela Confalonieri y Manuel Dubinsky Resumen: En los últimos años han surgido numerosas aplicaciones de los grandes modelos de lenguaje (LLMs). Sus casos de uso no se restringen únicamente al procesamiento [...]

Título: Clasificación de especies en bosques utilizando imágenes capturadas con vehículos aéreos no tripulados y aprendizaje profundo Director: Dr. Pablo De Cristóforis Co-Director: Ing. Raverta Capua Jurados: Dra. Victoria Paternostro Dra. María Elena Buemi Resumen: En este trabajo se aborda el desafío de clasificar especies arbóreas a partir de [...]

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 [...]

Título: Deep Learning on Object Oriented Dynamically Typed Languages Director: Hernán Wilkinson Co-Director: Maximiliano Tabacman Jurados: Agustín Martinez, Juan Pablo Galeotti Está tesis fue realizada en el marco del programa +acompañamiento de Exactas (https://exactas.uba.ar/acompanamiento/) Resumen:  En este trabajo desarrollamos un framework para definir y entrenar modelos de aprendizaje automático en Smalltalk, un lenguaje [...]

Título: Analizando la Criptografía en la Práctica: Calendarios Cifrados Director: Fernando Virdia Jurados: Esteban Mocskos, Arantxa Zapico Resumen: Cada vez más, los servicios en la nube están priorizando la privacidad. Proveedores como Signal, MEGA y Nextcloud son ejemplos destacados en el ámbito de la mensajería y el almacenamiento de [...]