next up previous contents
Next: KEROLA, Teemu Up: Faculty Previous: KÄRKKÄINEN, Juha

KARVI, Timo  

picture

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