Antti Valmari, Professor

Homepage in Finnish behind this link

Visiting 67°00'00" N 24°00'00" E

I am a full Professor with Tampere University of Technology, Faculty of Natural Sciences, Department of Mathematics. I am not, however, a mathematician but somewhere between a practical programmer and a theoretical computer scientist.

Contact information

• email:
• phone: +358 - 40 - 849 0384
• address: PO Box 553, FI-33101 Tampere, FINLAND
• www: http://www.cs.tut.fi/~ava/indexEng.html
• office: Tietotalo D 419

Some recent talks

• Sizes of Up-to-n Halting Testers (RuFiDiM 2012)
• All Linear-Time Congruences for Familiar Operators (ACSD 2012 and Concur 2012)
• Old And New Algorithms for Minimal Coverability Sets (Petri Nets 2012)
• Does the Shannon Bound Really Apply to Data Structures? (SPLST 2011)

I teach

• OHJ-2206 Design and Implementation of Data Structures, autumn 2012
• OHJ-2100 Basic Tools for Software Science, spring 2013 (in Finnish)

Please see here for software-related courses in English after summer 2013.

In the past I have taught several additional topics: principles of programming languages, introductory theoretical computer science, verification of (sequential) programs, and process-algebraic concurrency theory.

Petri net 2009 bag in Finnish Lapland
(click for full-size picture)

My research

has been concentrated on verification algorithms, methods and tools for reactive and concurrent systems. More recently I have done some verification-motivated work in data structures and algorithms.

If you fancy finite automata, please have a look at this DFA minimizer C++ program, this open access publication, and this publication.

The membership I am most proud of is this.

Other info

Publications

My tenure track

A photo of my tenure track
(click for full-size picture)

Latest update 2013-05-13