Teaching 2008/2009
I am a member of the teaching unit Languages and Methodologies![[LML]](images/lml_logo.gif){kind=logo}
, Department of
Programming Languages and Systems![[DLSIIS]](images/lsiisico.gif){kind=small}
.
Graduate Studies
This year I participate in two courses.-
Program Analysis, Verification, and Optimization
I coordinate this graduate course, which is offered as part of the following programs:- European Master in Computational Logic, leading to a double diploma.
- Research Master in Complex Software Systems
Component based Software
I participate in this graduate course, in collaboration with Lars-Åke Fredlund. This course is offered as part of the following programs:- Master in Information Technology. You can get a double diploma through the European Master on Software Engineering.
- European Master in Computational Logic
- Research Master in Complex Software Systems
Undergraduate Studies
I also teach an undergraduate course.Data Structures II
This course is offered in the Computer Engineering ProgramYou can also take a look at the courses which I taught in previous years.
Go back to my home page
The