Roland Meyer

Um estudo sobre geração automática de programas usando realizabilidade e lógica de realização.

Um olhar sobre as complexidades de separar línguas em Buchi VASS.

Analisando como transformações de compilador impactam a segurança do programa e a não interferência.