Antti Valmari

Contact search available for JYU staff members.

Web page:

ORCID link:

General description

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

Active JYU affiliations

Previous, inactive or other affiliations

Research interests

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.

Fields of science

Personal keywords

Programming, algorithms and data structures, theoretical computer science, logic

Publications and other outputs

Last updated on 2022-25-11 at 11:10