Antti Valmari, Professor

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

Visiting 67°00'00" N 24°00'00" 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

• email: ava<at-sign>cs.tut.fi
• phone: +358 - 3 - 3115 4321
• fax: +358 - 3 - 3115 2913
• address: PO Box 553, FI-33101 Tampere, FINLAND
• www: http://www.cs.tut.fi/~ava/indexEng.html
• office: Tietotalo F 209

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)

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