Antti Valmari, Professor

Homepage in Finnish behind this link

[a photo of me at 67°N 24°E]

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

Some recent talks

I teach

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.

[a photo of Petri net bag in Finnish Lapland]

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]

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


Latest update 2013-05-13