teaching

My teaching activities at UNRC have been centred around courses on Algorithms and Data Structures. I also teach or have taught elective and graduate courses on Software Engineering, Concurrency, Foundations of Computer Science and Artificial Intelligence.

Concretely, in the last couple of decades I’ve taught the following courses:

• Distributed and Outsourced Software Engineering
• Algorithm Design Techniques
• Data Structures and Algorithms
• Algebraic Specification
• Advanced Programming
• Software Verification and Validation
• Software Development using Design by Contract
• Artificial Intelligence
• Computing Analyst’s Final Project
• Concurrent Program Design
• Concurrency

First Semester of 2024

During the first semester of 2024 I taught “Introduction to Algorithms”, the introductory course on programming for the Licenciatura en Ciencias de la Computación programme. The course covered introductory programming concepts, formal program specification, and basics of object orientation. It followed an “objects first” approach.

Second Semester of 2024

During the second semester of 2024 I’ll be teaching “Introduction to Programming for AI”, the introductory course on programming for the Diplomatura Superior en Inteligencia Artificial programme. The course will cover introductory programming concepts, data definition and processing, basics of machine learning, and the evaluation of machine learning models.