My research interests generally fall in the area of semantic theories for
concurrent programming and specification languages. I am also interested
in the development of programming languages for highly distributed networks
and semantic-based verification environments.