Teaching 2002/2003
I am a member of the teaching unit Languages and Methodologies![[LML]](images/lml_logo.gif){kind=logo}
.
Graduate Studies
This academic year 2002/2003, in collaboration with Manuel Carro, I coordinate 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:
- Technologies for Reliable and High Quality Software, 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 I
You can also take a look at the courses which I taught in previous years.
Go back to my home page
The