conf.researchr.org / Freek Verbeek

Not registered as user yet

Name:Freek Verbeek
Affiliation:Open University of the Netherlands, The Netherlands
Personal website:http://www.cs.ru.nl/~freekver/

Contributions

CPP 2022 Committee Member in Program Committee within the CPP 2022-track
CPP 2019 Author of Formally Verified Big Step Semantics out of x86-64 Binaries within the CPP 2019-track
CPP 2017 Committee Member in Program Committee within the CPP-track