Teaching 2001/2002
I am a member of the teaching unit Languages and Methodologies![[LML]](images/lml_logo.gif){kind=logo}
.
Graduate Studies
This academic year 2001/2002, I coordinate the new 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 .
- Efficient Static Analysis Systems for the full ISO Prolog Language.
- Debugging, Analysis, and Optimization of Logic Programs with Assertions.
- Distributed Execution of (Constraint) Logic Programs.
Undergraduate Studies
I also teach the course: Data Structures IIYou can also take a look at the courses which I taught in previous years.
Go back to my home page
The