Kimmo Varpaaniemi
Doctor of Science in Technology
Docent in Formal Verification Methods for Parallel and Distributed Systems
(Aalto University School of Science and Technology)
Verification Engineer
(Space Systems Finland Ltd.)
E-mail:
kimmo.varpaaniemi
kolumbus.fi