Ph.D., Professor, Chairman of
the Department
E-mail: martti.tienari@cs.helsinki.fi
Interests: modeling concurrency, computer networks
and distributed systems, programming languages and compilers,
management of computing
Publications: [2, 63, 126, 136,
137, 244]
Memberships of program committees: PSTV
'95 - The 15th International Symposium on Protocol
Specification, Testing and Verification, Warsaw, Poland,
June 1995
Other merits:
- Activities in IFIP (International
Federation of Information Processing): General Assembly
since 1987, IFIP Trustee 1989-95, Cognizant
Officer of TC2 (Software: Theory and Practice) and
TC12 (Artificial Intelligence), Member of Publication
Committee, Chairman of the Activity Management Board
1992-96, Chairman of the Technical Assembly 1996
-
External reviewer of computer science professorships
at the University of Oslo, University of Linköping,
Technical University of Stockholm and Columbia University,
New York, 1994-95
- External reviewer of docent
competence at the University of Linköping 1995
- Member of the Finnish Academy of Science and Letters
- Member of the Finnish Academy of Technical Sciences