Next: VEIJALAINEN, Jari
Up: Faculty
Previous: UKKONEN, Esko
Dr.Techn., Docent, Associate Professor
(Tampere University of Technology)
E-mail:
Antti.Valmari@tut.fi
Url:
http://www.cs.tut.fi/~ava/
Interests: computer-aided verification and
validation of concurrent and distributed systems