Anna Ingólfsdóttir's homepage
Anna Ingólfsdóttir's
homepage
Anna Ingólfsdóttir
Department of Computer Science
Reykjavik University.
Kringlan 1,
Reykjavík,
Iceland
Email: annai"at"ru.is
Phone: +354 599 6319
Employment
I am a full professor of computer science
Research
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.
| 
