Anna Ingólfsdóttir's homepage
Department of Computer Science
Phone: +354 599 6319
I am a full professor of computer science
My main research interest are:
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