Approved projects:
- “Design of a Type-Checking Algorithm for a Nominal Dependent Type System – Towards a Nominal Logical,” presented by Dr. Nora Szasz, academic coordinator of Systems Engineering.
- "Image-Guided Surgery: An Interdisciplinary Approach to Optimizing Surgical Procedures," presented by Dr. Juan Pablo Gambini, assistant professor at the Center for Nuclear Medicine and Molecular Imaging at the Hospital de Clínicas of the University of the Republic. Contributing to the research are Dr. Santiago Matalonga, research professor at the School of Engineering, and Dr. Guang-Zhong Yang, director of The Hamlyn Centre at Imperial College London.
- “ORTCITY – An Automated Framework for Architecturing Large-Scale Parallel-Computing Software Systems,” presented by Dr. Sergio Yovine, a professor in the Department of Computer Science at the School of Engineering.