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