(aside image)

Kari Kähkönen

M.Sc. (Tech.), Researcher

Office:
Room T-B349 in Computer Science Building,
Konemiehentie 2, Otaniemi campus area, Espoo
Postal Address:
Aalto University School of Science,
Department of Information and Computer Science,
P.O. Box 15400, FI-00076 Aalto, Finland
Email:
kari.kahkonenaalto.fi

About

I'm a doctoral student working in the Distributed Computation Group led by prof. Keijo Heljanko.

My Reseach interest include: automated testing of software (especially multithreaded systems), dynamic symbolic execution (aka concolic testing), runtime monitoring, formal methods

Projects

Publications

Refereed Conferences and Workshops

Theses

Technical Reports and Other Non-Refereed Scientific Publications