home: Papinkatu 21 H 10, FI-33200 Tampere
Born in 1937, Cand.Phil. (MSc) 1959 in math (Helsinki U), Dr.Phil. 1964 (Helsinki U). Entered the field of computing in 1960 at Finnish Cable Works (one of the roots of today's Nokia). Started the first computer science department in Finland in 1965 (Tampere U), moved to TUT in 1980 and retired in 2002. Visiting positions at CMU (1964-65, 1984-85) and Stanford (1974-75). Chair of IFIP Technical Committee TC2 (Software, Theory and Practice, 1995-2000). Member of Finnish Academy of Science and Letters, and of Academy of Technical Sciences in Finland.
With earlier research on formal grammars, parsing methods, and programming languages, my research interests shifted in the 1990's to specification and design of distributed and reactive systems. The incremental design methodology that I developed, with formal basis in Lamport's TLA, is presented in A Practical Theory of Reactive Systems, Incremental modeling of Dynamic Behaviors, published in the Springer EATCS Series in 2005.