Here I am part of the logic group and interested in symbolic model checking techniques and their possible application to software, e.g. Java applets, verification. Foundations , teaching assistant, autumn 2000. Introduction to Theoretical Computer Science , teaching assistant, spring 2001. I took lessons in classical piano and the theory of music in my former home town, Lahti, for 11 years. Dave Weckl , his solo albums being a newer acquintance.
Postgraduate studies take a lot of time.
However, I try my best to also be able to read non-professional literature.