Areas – Theory of computation

  1. Home
  2. Research
  3. Research areas
  4. Theory of computation

Theory of computation   standard compliant  ACM 2012

Models of computation
Modelli formali della computazione - Modelli per sistemi concorrenti, distribuiti e mobili - Modelli per sistemi ibridi - Modelli stocastici concorrenti
Semantics and reasoning
Semantica di programmi - Semantica di sistemi concorrenti, distribuiti e mobili

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share