Teaching 2003/2004
I am a member of the teaching unit Languages and Methodologies![[LML]](images/lml_logo.gif){kind=logo}
.
Graduate Studies
This academic year 2003/2004, I will collaborate with Manuel Carro in the coordination of the PhD Program Advanced Technologies for Software Development and Information Systems of the Department of Programming Languages and Systems![[DLSIIS]](images/lsiisico.gif){kind=small}
.
In such program, I will teach part of the graduate courses:
- Debugging, Analysis, and Optimization Techniques, and
- Advanced Environments for Software Development .
I also propose the following graduate research projects:
- Efficient Static Analysis Systems for the full ISO Prolog Language.
- Debugging, Analysis, and Optimization of Logic Programs with Assertions.
Undergraduate Studies
I also teach and coordinate the course: Data Structures II
You can also take a look at the courses which I taught in previous years.
Go back to my home page
The