next up previous contents
Next: KÄRKKÄINEN, Juha Up: Faculty Previous: JÄRVINEN, Pertti

KAIVOLA, Roope  

picture

Ph.D., Docent, Assistant Professor
E-mail: Roope.Kaivola@cs.helsinki.fi
Url: http://www.cs.helsinki.fi/~rkaivola/
Interests: concurrency, temporal logic, process algebra, infinitary automata
Publications: [18, 100, 106-111]
Other activities: