Facultad de Ciencias Exactas, Físico-Químicas y Naturales Facultad de Ciencias Exactas, Físico-Químicas y Naturales-Universidad Nacional de Río Cuarto
El Dr. Pablo Castro, docente e investigador del Departamento de Computación, expuso trabajos realizados junto a equipos nacionales e internacionales en encuentros científicos de máxima categoría realizados en Brasil e Italia.
El Dr. Pablo Castro, docente e investigador del Departamento de Computación de la Facultad de Ciencias Exactas, Físico-Químicas y Naturales de la Universidad Nacional de Río Cuarto, participó como expositor en dos de las conferencias internacionales más importantes del campo de las Ciencias de la Computación y la Ingeniería de Software, consolidando la presencia de la UNRC en espacios científicos de referencia a nivel mundial.
Durante este año, el investigador presentó resultados de investigación en la International Conference on Formal Methods in Software Engineering (FormaliSE), desarrollada en Río de Janeiro, Brasil, en el marco de la prestigiosa International Conference on Software Engineering (ICSE), y en la conferencia Tools and Algorithms for the Construction and Analysis of Systems (TACAS), realizada en Turín, Italia, como parte del encuentro internacional ETAPS.
Ambos eventos reúnen anualmente a investigadores, desarrolladores y especialistas de distintos países para compartir avances de frontera en ingeniería de software, métodos formales y herramientas de verificación de sistemas. Tanto ICSE como ETAPS son consideradas entre las conferencias de mayor prestigio e impacto internacional dentro de la disciplina.
En Brasil, el Dr. Castro presentó el trabajo “Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications”, desarrollado en colaboración entre investigadores de la Universidad Nacional de Río Cuarto y el Instituto de Ciencia y Tecnología de Luxemburgo (LIST).
Posteriormente, en la ciudad italiana de Turín, expuso el artículo “AKR: A Model Checker for an Adaptive Probabilistic Knowing-How Logic”, una investigación realizada conjuntamente por especialistas de la Universidad Nacional de Córdoba y la Universidad Nacional de Río Cuarto.
Al referirse a estas experiencias, el investigador destacó la importancia de participar en escenarios científicos internacionales de primer nivel. “Participar en estos espacios nos permite poner en común el trabajo que realizamos en nuestra universidad con la comunidad científica internacional, además de abrir las puertas a nuevas colaboraciones con centros de vanguardia en Europa y Latinoamérica”, señaló.
Las presentaciones fueron posibles gracias al otorgamiento de becas competitivas financiadas por SIGSOFT, el grupo de interés especial en Ingeniería de Software de la Association for Computing Machinery (ACM), y por la organización de ETAPS, apoyos que representan un reconocimiento a la calidad y relevancia de las investigaciones desarrolladas desde la UNRC.
Como parte de su agenda académica internacional, el Dr. Castro también realizó una estancia de investigación en la Universidad del Sarre (Saarland University), en Alemania. La visita se desarrolló en el marco de un proyecto de colaboración científico-tecnológica vigente entre esa institución y la Universidad Nacional de Río Cuarto, fortaleciendo líneas de trabajo conjuntas e intercambios académicos entre ambos equipos de investigación.
La participación de docentes e investigadores de la Facultad en congresos internacionales de excelencia contribuye a fortalecer los vínculos académicos globales, difundir la producción científica institucional y posicionar a la Universidad Nacional de Río Cuarto en ámbitos estratégicos para el desarrollo del conocimiento.
En este sentido, el Dr. Castro subrayó que, en el actual contexto de dificultades para el financiamiento de la investigación científica en el país, las colaboraciones internacionales y los proyectos sostenidos por organismos externos resultan fundamentales para garantizar la continuidad de investigaciones de calidad y la inserción de los grupos locales en las principales redes científicas del mundo.