Sebastian Junges

https://sjunges.github.io/sebastian-junges/

Radboud University Nijmegen Assistant Professor at the Radboud University Nijmegen. Previously at Berkeley @BerkeleyLearnVerify and RWTH Aachen University @moves-rwth