Antti Valmari, Professor

Suomenkielinen versio (= Finnish version) tämän linkin takana

Visiting 67°00'00" N 24°00'00" E
[a photo of me at 67°N 24°E]

I am a full Professor with Tampere University of Technology, Faculty of Computing and Electrical Engineering, Department of Software Systems. If these links do not work (they are quite horrible-looking internally), please try the Finnish ones and use the language selection there: Tampereen teknillinen yliopisto, Tieto- ja sähkötekniikan tiedekunta, Ohjelmistotekniikan laitos.

Contact information

I teach

OHJ-2206 Design and Implementation of Data Structures, autumn 2009
OHJ-2056 Principles of Programming Languages, spring 2010

In the past I have taught several additional topics: 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)
[a photo of Petri net bag in Finnish Lapland]

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.

The membership I am most proud of is this.

Other Info

Publications


Latest update 2009-09-03