Argomento | Area di ricerca |
---|---|
Analisi statica |
Ingegneria del Software e verifica formale
Software organization and properties |
Aspetti formali di sicurezza del software |
Sicurezza informatica
Software and application security |
Blockchain and smart contracts |
Ingegneria del Software e verifica formale
Software creation and management |
Lambda Calculus |
Ingegneria del Software e verifica formale
Models of computation |
Probabilistic Analysis of Security |
Sicurezza informatica
Formal methods and theory of security |
Protezione del software |
Sicurezza informatica
Formal methods and theory of security |
Quantum Computing |
Ingegneria del Software e verifica formale
Models of computation |
Quantum Machine Learning and Quantum Optimization |
Ingegneria del Software e verifica formale
Theory and algorithms for application domains |
Semantica di programmi |
Ingegneria del Software e verifica formale
Semantics and reasoning |
Semantics of Probabilistic Languages |
Ingegneria del Software e verifica formale
Semantics and reasoning |
Sintesi di codice |
Ingegneria del Software e verifica formale
Software creation and management |
Static Analysis |
Ingegneria del Software e verifica formale
Semantics and reasoning |
******** CSS e script comuni siti DOL - frase 9957 ********p>