Next:
KEROLA, Teemu
Up:
Faculty
Previous:
KÄRKKÄINEN, Juha
KARVI, Timo
Ph.Lic., Assistant Professor (acting)
E-mail:
Timo.Karvi@cs.helsinki.fi
Url:
http://www.cs.helsinki.fi/~karvi/
Interests:
formal specification, process algebras, distributed computing