Homepage in Finnish behind this link
I am a full Professor with Tampere University of Technology, Faculty of Natural Sciences, Department of Mathematics. I am not, however, a mathematician but somewhere between a practical programmer and a theoretical computer scientist.
Please see here for software-related courses in English after summer 2013.
In the past I have taught several additional topics: principles of programming languages, introductory theoretical computer science, verification of (sequential) programs, and process-algebraic concurrency theory.
has been concentrated on verification algorithms, methods and tools for reactive and concurrent systems. More recently I have done some verification-motivated work in data structures and algorithms.
If you fancy finite automata, please have a look at this DFA minimizer C++ program, this open access publication, and this publication.
The membership I am most proud of is this.
Latest update 2013-05-13