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

Este Jueves 18/09 tenemos DÁTAME! El encuentro será a las 16 hs. en el aula 1402. La presentación estará a cargo de Ximena Fernandez y el título de la charla es:     ¿Se puede escuchar la forma de una canción? Sobre la charla ¿Alguna vez te preguntaste cómo funcionan las apps de reconocimiento de música como [...]

Título: Técnicas de optimización aplicadas a problemas de distribución bajo condiciones de tráfico variable Director: Juan José Miranda Bront Consejera de estudios: Isabel Méndez-Díaz Jurados: Dra. Flavia Bonomo-Braberman, CONICET - Universidad de Buenos Aires, Instituto de Investigación en Ciencias de la Computación (ICC) / Universidad de Buenos Aires, Buenos [...]

Título: Reconocimiento de Acciones Humanas en Videos Utilizando Redes Neuronales Profundas Director: Dr. Julio César A. Jacobo Berlles Directora adjunta: Dra. María Elena Buemi  Consejera de estudios: Dra. Marta E. Mejail    Jurados:  Dra. Maria Juliana Gambini  Dr. Pau Climent Perez  Dr. Sergio Nesmachnow Link Youtube: https://youtube.com/live/vKJQfCNF-Nw?feature=share   Resumen: El [...]

Título: Liquid Types para la verificación de smart contracts Director: Hernán Melgratti Jurados: Diego Garbervetsky, Javier Godoy. Resumen: En este trabajo se desarrolló una herramienta para la verificación de smart contracts escritos en Solidity. La estrategia empleada consiste en traducir el código fuente de Solidity a Haskell, utilizando las [...]

Título: Búsqueda visual sobre imágenes naturales: incorporando ruido como modelado de la variabilidad humana. Directores: Juan E Kamienkowski, Gonzalo Ruarte Jurados: Diego Shalom, Rodrigo Laje Resumen: La búsqueda visual es el mecanismo por el cual analizamos el entorno con un determinado objetivo. Este análisis se realiza de forma secuencial, [...]

Título: Un estudio poliedral del routing and spectrum allocation problem Director: Dr. Javier Marenco Jurado: Dr. Cid de Souza (Mercado Libre, Argentina y Brasil) Dr. Enrico Malaguti (Universidad de Bologna, Italia) Dr. Juan José Salazar González (Universidad de la Laguna, España) Transmisión en vivo: https://youtube.com/live/ORVcyv-XAfk?feature=share Resumen: El problema de ruteo [...]

Título: Mejoras al algoritmo composicional de síntesis de controladores para problemas GR(1) Directores: Hernán Gagliardi, Sebastián Uchitel Jurados: Victor Braberman, Dario Turco Resumen En este trabajo se estudian mejoras de varios tipos al algoritmo composicional de síntesis de controladores para problemas GR(1). Principalmente se analizará el impacto de diversas heurísticas y mejoras para aumentar el [...]