Defensa Tesis Licenciatura Maximiliano Urso

ZOOM

Título: CorsiBot: Interfaz humano-computadora para la evaluación de memoria de trabajo Director: Matías Lopez-Rosenfeld Co-Director: Federico Giovannetti Jurados: Julia Hermida, Facundo Pessacg y Herman Schinca Resumen: La prueba de Bloques de Corsi es utilizada en Psicología y ciencias cognitivas para evaluar la memoria de trabajo viso espacial. Consiste en [...]

Defensa Tesis Licenciatura Lucas Rossi

ZOOM

Título: Simulación por Cuantización de Estados en Física de Altas Energías: Un Estudio de Nuevos Integradores para el Simulador Geant4 Director: Lucio Santi Co-director: Rodrigo Castro Jurados: Pablo Turjanski (Dpto. de Computación) y Gustavo Otero y Garzón (Dpto. de Física) Resumen: Las simulaciones computacionales en física de altas energías [...]

Defensa Tesis Licenciatura Francisco Curdi

ZOOM

Título: Diseño e implementación de un generador de código .NET Directores: Edgardo Zoppi y Diego Garbervetsky Jurados: Hernán Wilkinson y Alexis Soifer Resumen: En esta tesis presentamos el diseño e implementación de un módulo de generación de código para el framework de análisis estático de código Analysis.NET. Esta herramienta [...]

Defensa Tesis Licenciatura Pablo Gómez

ZOOM

Título: Verificación de correctitud para tipos de datos replicados en Coq Directores: Christian Roldán y Hernán Melgratti Jurados: Fernando Asteasuain y Agustín Martinez Suñé Resumen: La replicacion de datos es un concepto fundamental en sistemas distribuidos ya que ofrece garantías como escalabilidad y alta disponibilidad a expensas de tener [...]

Lecciones aprendidas y desafíos pendientes

Los invitamos a la décima charla de la edición 2021 del seminario. Esta vez tenemos el honor de contar con la visita del Dr. Pedro Cahn, Director Científico de la Fundación Huésped y miembro del equipo asesor del gobierno nacional en temas covid.

Defensa Tesis Licenciatura Brian Bohe

ZOOM

Título: Problema de ruteo de vehículos con ventanas de tiempo, opciones de entrega y capacidades dinámicas Directores: Juan José Miranda Bront y Gonzalo Lera Romero Jurados: Isabel Méndez-Díaz y Daniel Negrotto Resumen: El reciente crecimiento del e-commerce trae consigo un abrupto incremento en la cantidad y complejidad de los [...]

Defensa Tesis Licenciatura Damián Mazzini

http://www.youtube.com/watch?v=BYbw2ycj_QM

Título: Recuperando 'fórmulas culpables' de un lenguaje deóntico mediante el mapeo inverso de unsat cores Director: Fernando Schapachnik Jurados: Sergio Mera y Hernán Czemerinski Resumen: FormaLex es un conjunto de herramientas que tiene como objetivo modelar y analizar sistemas legales realizando de manera automatizada verificaciones de fórmulas lógicas que [...]