| Topic | People | Description |
|---|---|---|
| Program semantics |
Mila Dalla Preda
Isabella Mastroeni Michele Pasqua Nicola Fausto Spoto |
Development of semantic models for characterizing security and analysis problems of programming languages |
| Semantics of concurrent, distributed, and mobile systems |
Massimo Merro
|
Semantics of concurrent, distributed, and mobile computations. Associated with these semantic theories come specification techniques and verification technologies for assuring the behaviour of systems. |
© 2025 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********
