El Programa +Acompañamiento para Estudiantes de la FCEN UBA (
https://exactas.uba.ar/acompanamiento/) está diseñado especialmente para aquellos estudiantes que ingresaron hace más de 10 años y que adeudan la tesis de licenciatura o trabajo final, así como hasta 2 exámenes finales. Tiene como objetivo ayudar a nuestros estudiantes a que logren y finalizar su carrera.
Este cuatrimestre en el DC realizamos una materia de tesis especial para este programa donde los alumnos tuvieron que realizar entregas bisemanales (con su respectivo recuperatorio) que se corresponden a diferentes etapas de una tesis.
Con el esfuerzo y la motivación de los «chic@s» y el orden y encuadre que le dio la materia, logramos que 11 estudiantes culminen su tesis en un cuatrimestre.
Las primeras 4 defensas serán las de Tomas Scally, Fernando Andrada y el dúo Alejandra Rodriguez y Matías Incem.
Defensa 1: Tomas Scally 9:30AM
Título: Implementación de una solución de seguridad de correo electrónico en el Sector Público Argentino
El Estado Argentino emplea soluciones informáticas especializadas para salvaguardar sus activos digitales. El proceso estándar de adquisición sigue una metodología estructurada que incluye: identificación de necesidades, análisis comparativo de productos disponibles, elaboración de pliegos de especificaciones técnicas, publicación de licitaciones públicas e implementación de la solución seleccionada.
Este procedimiento técnico-administrativo presenta una duración considerablemente extensa —frecuentemente varios años— desde la fase inicial hasta la puesta en funcionamiento efectiva de la solución. Esta demora se atribuye a múltiples instancias de revisión y control que involucran diversos organismos gubernamentales, generando un sistema de verificaciones cruzadas que, si bien aporta transparencia, impacta significativamente en los tiempos de ejecución.
El presente trabajo analiza los principales obstáculos y desafíos que surgen durante el ciclo completo de implementación de proyectos de seguridad informática, tomando como caso de estudio específico la implementación de una solución antispam en un importante organismo nacional. Se examina desde la confección del pliego de especificaciones técnicas —que debe contemplar múltiples situaciones particulares como plazos de resolución de problemas, compatibilidad con sistemas existentes, definición de hitos de avance, criterios de aceptación y finalización del proyecto— hasta su puesta en funcionamiento. Simultáneamente, se proponen alternativas para acelerar los procesos de adquisición o incluso, evitar completamente estos procedimientos tradicionales.
Defensa 2: Fernando Andrada 10:10 AM
Título: Transformación digital en empresa de telecomunicaciones para el segmento B2B en la región de Latinoamérica
Esta tesis analiza la transformación digital de la gestión comercial B2B en una empresa de telecomunicaciones con presencia en doce países de Latinoamérica, mediante la implementación regional de Salesforce como plataforma de gestión de clientes única para toda la región. El trabajo parte de un contexto de alta competencia, procesos comerciales heterogéneos y manuales, información dispersa en sistemas legados y limitada visibilidad regional del cliente, lo que afectaba la eficiencia, la trazabilidad y la satisfacción de los clientes corporativos. El objetivo principal fue optimizar la gestión de la relación con clientes y del ciclo comercial completo, homogeneizando procesos, consolidando datos y habilitando la toma de decisiones en tiempo real. En cuanto al enfoque, se detalla la arquitectura de la solución basada en una única instancia, la estrategia de implementación en dos etapas que combina prácticas tradicionales en cascada con metodologías ágiles, y un esquema de evaluación apoyado en indicadores funcionales, técnicos y de negocio. Los resultados muestran buenos niveles de adopción, una reducción de tareas manuales, mejoras en la calidad y unicidad de la información, disminución de los tiempos de ciclo e incrementos en los indicadores de satisfacción de clientes sobre una plataforma estable y escalable. Por último, se recopilan y organizan las principales lecciones aprendidas relacionadas con el gobierno regional, la decisión de trabajar con una sola instancia, la gestión del cambio y la operación del servicio, que constituyen el aporte más relevante de la tesis para futuras iniciativas de transformación digital en organizaciones con presencia regional.
Defensa 3 y 4: Alejandra Rodriguez, Matías Incem 10:50 AM
Título: Validación Experimental de Abstracciones Modales para Contratos Inteligentes
Los contratos inteligentes (Smart Contracts) son programas que se ejecutan en Blockchain y administran activos de gran valor. Constituyen la base de las finanzas descentralizadas (DeFi), y su carácter inmutable, derivado de la propia Blockchain, implica que un error en su código puede derivar en pérdidas significativas. Esto vuelve esencial su verificación antes del despliegue.
Uno de los tipos más frecuentes de errores en los Smart Contracts son los de lógica de negocio. Para analizar este tipo de errores, los papers Predicate Abstractions y Modal Abstractions proponen generar modelos abstractos a partir de contratos escritos en el lenguaje de programación Solidity, enfocándose en la verificación del comportamiento lógico de negocio.
Para esto, la herramienta Alloy4PA implementa la propuesta introducida inicialmente en Predicate Abstractions y extendida en Modal Abstractions, utilizando Alloy en entornos Docker y Java.
Esta tesis se centra en comprender, reproducir y validar los experimentos descritos en el paper de Modal Abstractions, detallando el proceso de reproducción mediante la herramienta Alloy4PA, y ampliando la evaluación con nuevos casos de estudio que permitan explorar la generalidad y la robustez del enfoque propuesto.
Jurados de las defensas: Pablo Brusco, Pablo Cristóforis, Diego Garbervetsky.
