2014 Yearbook - Universidad ORT Uruguay

77 Dr. Álvaro Tasistro (Brazil), Professor of Computer Science. He presented the paper “Case of (quite) painless dependently typed programming: fully certified merge sort in Agda,” co-authored with Ernesto Copello and Bruno Bianchi, at CBSoft, the Brazilian Conference on Software: Theory and Practice: Brazilian Symposium on Programming Languages (SBLP 2014), organized by the Brazilian Computer Society, Maceió, September 28–October 3. Dr. Nora Szasz (Brazil) Academic Coordinator of Systems Engineering. She presented the paper “Model-driven engineering in the heterogeneous tool set,” co-authored with Daniel Calegari and Till Mossakowski, at CBSoft, the Brazilian Conference on Software: Theory and Practice: Brazilian Symposium on Programming Languages (SBLP 2014), organized by the Brazilian Computer Society, Maceió, September 28–October 3. Dr. Santiago Matalonga (Brazil) Faculty member in the Software Engineering department. He conducted a research stay at the Alberto Luiz Coimbra Institute for Graduate Studies and Engineering Research at the Federal University of Rio de Janeiro, as part of the CAcTUS (Context Aware Testing for Ubiquitous Systems) project, October 20–24. Cecilia Nacimento (Brazil) Master’s student in Engineering (Research Track). She presented the paper “Identifying technical debt factors in Agile project retrospectives,” co-authored with Dr. Jean Carlo Rossa Hauck and Dr. Santiago Matalonga, at the Agile Brazil 2014 conference: Brazilian Workshop on Agile Methods (WBMA), Florianópolis, November 5–7. Dr. Martín Solari (Canada) Associate Professor of Software Engineering. He presented the paper “A controlled experiment to explore potentially undetectable defects for testing techniques,” co-authored with Dr. Santiago Matalonga, at the International Conference on Software Engineering and Knowledge Engineering (SEKE 2014), Vancouver, June 30–July 4. ACADEMIC ACTIVITIES ABROAD 2014