Roland Meyer

Un estudio sobre la generación automática de programas utilizando la realizabilidad y la lógica de realización.

Una mirada a las complejidades de separar idiomas en Buchi VASS.

Examinando cómo las transformaciones del compilador impactan la seguridad del programa y la no interferencia.