Kimmo Varpaaniemi
Doctor of Science in Technology
Docent in Formal Verification Methods for Parallel and Distributed Systems
(
Helsinki University of Technology)
Currently working in a project in Nokia Research Center, Itämerenkatu 11–13, FI-00180 Helsinki, Finland.
E-mail:
Kimmo.Varpaaniemi
hut.fi
Telephone at home: +358 9 871 4976