Department of Computer Science
Reykjavik University.
Kringlan 1,
Reykjavík,
Iceland
Email: annai"at"ru.is
Phone: +354 599 6319
I am a full professor of computer science
My main research interest are:
· The semantics of concurrency. I am interested in the study of process algebras and of the techniques these languages support to reason about reactive systems.
· Application of formal methods in biology and in particular in connection with genetics.