My specialty is design and implementation of reliable efficient technically highly non-trivial computer programs. In addition to my extensive experience in programming, I apply core computer science and mathematical logic. During the recent years I have been developing a new generation program for giving students feedback on their answers to exercises on mathematics and theoretical computer science topics. The program can be given not only the final answer, but also the reasoning chain that led to it. It opens pedagogically new possibilities, and its implementation has required the conversion of theoretical results in mathematical logic into a piece of computer program, among other things. An example of what it can do can be found at http://users.jyu.fi/~ava/CSEDU21_examples.html.
Design and implementation of reliable efficient computer programs. Methods in theoretical computer science and logic for the aforementioned. Implementing computer programs for teaching mathematics, programming and theoretical computer science.