# Antti Valmari

Contact search available for JYU staff members. Web page: http://users.jyu.fi/~ava/ ORCID link: https://orcid.org/0000-0002-5022-1624 |

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 http://users.jyu.fi/~ava/CSEDU21_examples.html.

Active JYU affiliations

- Faculty of Information Technology, Professor

Previous, inactive or other affiliations

- Faculty of Information Technology (University of Jyväskylä), Professor, Ended

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