teaching
My teaching activities.
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’ll be teaching “Introduction to Algorithms”, the introductory course on programming for the Licenciatura en Ciencias de la Computación programme. The course will cover introductory programming concepts, formal program specification, and basics of object orientation. It will follow an “objects first” approach.
Second Semester of 2024
To be defined.