Retired

I retired in October 2012.

Research interest

• Formal semantics
• Numerical linear algebra

Courses

• EDAF10 Object oriented modelling and Discrete structures
• EDA061 Object oriented modelling an design
  
• EDA180 Compiler construction
• EDA145 Programming language theory