Lukas Armborst

PhD student on software verification (Computation Theory and Mathematics; Computer Software)

Enschede, NL