BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20240101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20251209T093000
DTEND;TZID=America/Sao_Paulo:20251209T120000
DTSTAMP:20260407T122809
CREATED:20251204T130901Z
LAST-MODIFIED:20251204T130901Z
UID:10332-1765272600-1765281600@www.dc.uba.ar
SUMMARY:Defensas del taller de tesis del Programa +Acompañamiento
DESCRIPTION: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.\nEste 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.\nCon 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.\n\n\nLas primeras 4 defensas serán las de Tomas Scally\, Fernando Andrada y el dúo Alejandra Rodriguez y Matías Incem.\n\nDefensa 1: Tomas Scally 9:30AM\n\nTítulo: Implementación de una solución de seguridad de correo electrónico en el Sector Público Argentino\n\n\nEl 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.\nEste 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.\nEl 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. \n\nDefensa 2: Fernando Andrada 10:10 AM\n\nTítulo: Transformación digital en empresa de telecomunicaciones para el segmento B2B en la región de Latinoamérica\n\nEsta 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.\n\nDefensa 3 y 4: Alejandra Rodriguez\, Matías Incem 10:50 AM\n\nTítulo:  Validación Experimental de Abstracciones Modales para Contratos Inteligentes\nLos 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.\nUno 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.\nPara esto\, la herramienta Alloy4PA implementa la propuesta introducida inicialmente en Predicate Abstractions y extendida en Modal Abstractions\, utilizando Alloy en entornos Docker y Java.\nEsta 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. \n\nJurados de las defensas: Pablo Brusco\, Pablo Cristóforis\, Diego Garbervetsky.
URL:https://www.dc.uba.ar/event/defensas-del-taller-de-tesis-del-programa-acompanamiento/
LOCATION:Aula 1114
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR