Roland Meyer

A study on automated program generation using realizability and realization logic.

A look into the complexities of separating languages in Buchi VASS.

Examining how compiler transformations impact program security and non-interference.