Gorrieri's Research Interests

Theory of Concurrency: Process Algebra, Transition Systems, Petri Nets, Event Structures.

Foundations of Software Engineering: Coordination Languages, Service-oriented Computing, Verification and analysis tools.

Theoretical Aspects of Security: Information Flow Security, Cryptoprotocols modelling, analysis and verification.

Systems Biology: Bio-inspired process calculi.

Real-time systems and Performance Evaluation: Real-time models of concurrency, Stochastic Process Algebra.