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 Luca Aceto's homepage
I am an associate professor in Computer Science at the Department of
Computer Science, Aalborg University. I am also affiliated to BRICS (Basic Research in
Computer Science), a centre of the Danish National Research
Foundation.
Information on the positions I have held previously may be found here.
Research
My main research interest is the semantics of concurrency. In particular, I am
interested in the study of process algebras and of the techniques
these languages support to reason about reactive systems.
a special
issue of MSCS devoted to "The Difference between Concurrent and
Sequential Computation"
and to selected papers from EXPRESS'00: 7th International Workshop on
Expressiveness in Concurrency.
a special issue of the Nordic Journal
on Computing devoted to selected papers from
EXPRESS'01: 8th International Workshop on
Expressiveness in Concurrency. (Appeared as volume
9, number 2, summer 2002.)