Anuario 2020 - Universidad ORT Uruguay

59 PROYECTOS INICIADOS O APROBADOS EN 2020 Facultad de Ingeniería Control de tipos para Teoría de Tipos Nominal El propósito de este proyecto es el desarrollo de una versión constructiva de la lógica nominal en la forma de un lenguaje funcional con tipos dependientes, que combine el estilo de programación/demostración con matemática formalizada vía el isomorfismo de Curry-Howard. Responsable: Dra. Nora Szasz Financiamiento: Agencia Nacional de Investigación e Innovación (ANII) Duración: 24 meses Herramienta de privatización de datos secuenciales para su aplicación en la detección de anomalías colectivas en ciberseguridad El objetivo de este proyecto es desarrollar la anonimización de datos secuenciales basada en redes generativas antagónicas, con el propósito de preservar la utilidad de los datos privatizados en cuanto a la detección de anomalías colectivas e implementar un software para su aplicación en ciberseguridad. Responsable: Dr. Sergio Yovine Financiamiento: Agencia Nacional de Investigación e Innovación (ANII) Duración: 24 meses Control dinámico de redes distribuidas Este proyecto consiste en el estudio del problema que plantea controlar dinámicamente una red compleja a través de acciones distribuidas de sus componentes. El objetivo es encontrar leyes de control que, trabajando en forma descentralizada con información local, permitan garantías globales de estabilidad y desempeño. El propósito es realizar con aportes a la asignación dinámica de recursos distribuidos de computación y memoria en sistemas cloud , y la regulación de frecuencia en redes eléctricas. Responsable: Dr. Fernando Paganini Financiamiento: Agencia Nacional de Investigación e Innovación (ANII) Duración: 20 meses