conf.researchr.org / Marcel Hark
Marcel Hark

Registered user since Wed 9 Oct 2019

Name: Marcel Hark

Affiliation: RWTH Aachen University, Germany

Contributions

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