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 is 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.
Should you be interested in some of the recent technical reports by
Luca Aceto
or me, click
here.