Position: Associate Researcher
Personal Web Page
Positions at CITI
The purpose of the visit is to explore new collaborations in the context of higher-order process calculi with constructs for dependability.
The purpose of the visit was to continue with our ongoing work on the decidability and expressive power of process calculi.