Anuario 2018 - Universidad ORT Uruguay

134 Anuario 2018 Facultad de Ingeniería Dr. Miguel Pagano (Argentina) Profesor adjunto de Computación de la Facultad de Matemática, Astronomía y Física de la Universidad Nacional de Córdoba. Visitó la Facultad de Ingeniería en el marco del Proyecto de Cooperación Bilateral ANII-CONICET con Argentina "Teoría de tipos dependientes: meta-teoría y aplicaciones”, en el que participaron los investigadores de la cátedra de Teoría de la Computación, y participó como integrante del tribunal en la defensa de la tesis “A machine-checked proof of the Standardization Theorem in Lambda Calculus using multiple substitution” del Master en Ingeniería (por Investigación) del Ing. Martín Copes, 28 de marzo al 5 de abril. Dr. Víctor Braberman (Argentina) Profesor adjunto del Departamento de Computación de la Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires (UBA). Dr. Luis Olsina (Argentina) Profesor regular asociado de Sistemas de Información de la Facultad de Ingeniería de la Universidad Nacional de La Pampa. Participaron como correctores externos de los proyectos finales de Ingeniería en Sistemas y Licenciatura en Sistemas, 17 al 24 de abril y 16 al 18 de octubre. Dr. Diego Garbervetsky (Argentina) Profesor adjunto del Departamento de Computación de la Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires (UBA). Participó como corrector externo de los proyectos finales de Ingeniería en Sistemas y Licenciatura en Sistemas, 17 al 24 de abril. Dr. Gerardo Acosta (Argentina) Profesor titular del área de Electrónica de la Facultad de Ingeniería de la Universidad Nacional del Centro de la Provincia de Buenos Aires. Participó como corrector de la tesis del Master en Ingeniería (por Investigación) de Joaquín Silveira y se reunió con el Dr. André Fonseca, catedrático de Electrónica Analógica y Control Automático, 18 al 21 de abril. Prof. Alejandro Bianchi (Argentina) Presidente de la empresa de ingeniería de software Liveware. Dictó la materia Fundamentos de Métodos Analíticos de Big Data del Diploma de Especialización en Analítica de Big Data, abril a julio. Dictó la materia Arquitectura de Software para Analítica en Tiempo Real del Diploma de Especialización en Analítica de Big Data, agosto a diciembre. CONFERENCIAS Y VISITAS ACADÉMICAS 20 18