Roland Meyer

Uno studio sulla generazione automatica di programmi usando la realizzabilità e la logica di realizzazione.

Uno sguardo alle complessità del separare le lingue in Buchi VASS.

Esaminare come le trasformazioni del compilatore influenzano la sicurezza del programma e la non interferenza.