E-mail: antti.valmari@tut.fi
Interests: computer-aided verification and validation of concurrent and distributed systems
Personal home page: http://www.cs.tut.fi/laitos/henkilokunta/ava.html
