2020 Yearbook - Universidad ORT Uruguay

59 PROJECTS INITIATED OR APPROVED IN 2020 School of Engineering Type Control for Nominal Type Theory The purpose of this project is to develop a constructive version of nominal logic in the form of a functional language with dependent types, combining the programming/proof style with formalized mathematics via the Curry-Howard isomorphism. Principal Investigator: Dr. Nora Szasz Funding: National Agency for Research and Innovation (ANII) Duration: 24 months Sequential Data Anonymization Tool for Application in the Detection of Collective Anomalies in Cybersecurity The objective of this project is to develop sequential data anonymization based on generative adversarial networks, with the aim of preserving the utility of the anonymized data for the detection of collective anomalies and implementing software for its application in cybersecurity. Principal Investigator: Dr. Sergio Yovine Funding: National Agency for Research and Innovation (ANII) Duration: 24 months Dynamic control of distributed networks This project involves studying the problem of dynamically controlling a complex network through distributed actions of its components. The objective is to find control laws that, by operating in a decentralized manner with local information, ensure global guarantees of stability and performance. The goal is to contribute to the dynamic allocation of distributed computing and memory resources in cloud systems, and to frequency regulation in power grids. Principal Investigator: Dr. Fernando Paganini Funding: National Agency for Research and Innovation (ANII) Duration: 20 months