Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Anna Ingólfsdóttir's homepage
I am an associate professor and am associated with
BRICS.
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.
Should you be interested in some of the recent technical reports by
Luca Aceto
or me, click
here.