Next: KÄRKKÄINEN, Juha
Up: Faculty
Previous: JÄRVINEN, Pertti
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:
- Referee for
Theoretical Computer Science,
- SIAM Journal on Computing,
- 9th International Conference on
Computer-Aided Verification, CAV '97, Haifa, Israel,
- Conference on Computer Science Logic, CSL '97, Aarhus, Denmark,
- 24th International Colloquium on
Automata, Languages and Programming, ICALP '97, Bologna, Italy,
- 6th Scandinavian Conference on Artificial Intelligence,
SCAI '97, Helsinki, Finland,
- Logic in Computer Science, LICS '96, New Jersey, USA, and
- International Conference on Concurrency Theory, CONCUR '96, Pisa, Italy