Agenda

Título: Discrepancia de Collares Aritméticos Directores: Nicolás Álvarez y Verónica Becher Jurados: Martin Mereb y Paula Zabala Resumen: La discrepancia de una cadena mide el desbalance de símbolos de sus subcadenas. Existen pocas familias de cadenas para las que se conoce el comportamiento de su discrepancia. En esta tesis [...]

Título: Abstracciones mediante predicados para la validación de contratos inteligentes Director: Dr. Juan Pablo Galeotti Consejero de estudios: Dr. Ricardo O. Rodriguez Jurados: Dra. Alessandra Gorla , Associate Research Professor, IMDEA Software Institute. Dr. German E. Regis, Profesor Adjunto, Universidad Nacional de Río Cuarto Dr. Renzo Degiovanni, Senior Research [...]