Home
Contact Information
Research
Teaching
Courses
Summer School Presentations
Publications
Proffesional Activities
Electronic Math
Four Ferries
Personal Pages
Related Links
|
Teaching
Courses taught at the Department
I have been most of the time on leave of absence, mostly in
different
kinds of research and management positions. I have been director of
TUCS 1995 -- 2002, a position that involved management and research
but
no teaching. In 2002 - 2007, I have been Academy professor at the
Academy of Finland, a full time research position. Hence, I have not
been very active in teaching at the department during this time.
Courses given at the IT department at Abo Akademi
in 2008 - 2010 are listed below. See the course pages for more
detailed information
- A
practical approach to formal methods, Spring 2008
- Computational
models
of
the living cell, Spring 2008
- Logic
and
reasoning in Math and CS education, Spring 2009
- Rule based
modeling of biological systems, Spring 2009
- Higher-order
logic
and PVS, Spring 2010
- Invariant
based
programming, Spring 2010
- How to do Digital Publishing, Spring 2011
- E-mathematics with Structured Derivations, Autumn 2011
- Research Seminar on Structured Derivations, Spring 2012
- A Practical Approach to Zero-Defect Programming, Spring 2012
- A Practical Approach to Zero-Defect Programming, Spring 2013
- Introduction to Mechanized Reasoning with Isabelle/HOL, Spring
2013
|