I am a lecturer at Computing Science Department (InCo) at the Engineering School of the Universidad de la Republica, Montevideo, Uruguay.
How to reach me
- Postal address: Instituto de Computación Facultad de Ingeniería Julio Herrera y Reissig 565 - Piso 5 11300 Montevideo Uruguay
- Phone: +598-2-711 42 44 / 47 - Int. 115
Research interests
- Programming logic
- Reactive and real time systems
- Verification tools
- Mathematics learning and teaching
Teaching
- Programación 3
- Logic
- Model checking
- Lógica y computación
- Notas para el curso introductorio 2005
- Vieja nota acerca de cursos introductorios