Marcel Hark -

Registered user since Wed 9 Oct 2019

Name:Marcel Hark

Affiliation:RWTH Aachen University, Germany

Contributions

SAS 2020	Author of Termination of Polynomial Loops within the SAS-track
VMCAI 2020	Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track
POPL 2020	Author of Aiming Low Is Harder: Induction for Lower Bounds in Probabilistic Program Verification within the Research Papers-track