Brigitte Pientka

Esplorare nuovi metodi per la sicurezza della comunicazione nei sistemi informatici usando i tipi di sessione.

Uno sguardo alla logica adjunta e alle sue applicazioni nella programmazione e nel calcolo.

I tipi di sessione permettono una comunicazione strutturata tra i componenti del sistema per una maggiore affidabilità.

Questo documento presenta un metodo di confronto tra alberi efficiente usando la risoluzione SAT.

Tyro migliora l'identificazione degli errori di tipo per i programmatori, soprattutto per i principianti.

Introducendo un framework per la generazione di codice sicura ed efficiente.