Models of computation

People with expertise in this area
Research interests

Isabella Mastroeni: Associate Professor
Massimo Merro: Full Professor

Michele Pasqua: Temporary Assistant Professor
Roberto Segala: Full Professor

Research interests
Topic	People	Description
Formal models of computation	Isabella Mastroeni	Development of formal models for characterizing safety and analysis problems of different computational systems, such as neural networks and quantum systems.
Models for concurrent, distributed, and mobile systems	Massimo Merro Michele Pasqua	Process calculi for concurrent, distributed, and mobile systems. More recently, process calculi for cyber-physical systems and IoT systems.
Models for hybrid systems	Roberto Segala	Study of models for the representation of concurrent systems exhibiting discrete and continuous behaviors. Use of models for the analysis of distributed control systems.
Concurrent stochastic models	Roberto Segala	Study of concurrency models that include stochastic behaviors. Use of such models for the analysis of distributed systems and protocols that employ cryptographic primitives.