conf.researchr.org / Steven Schäfer

Registered user since Mon 7 Dec 2015
Name: Steven Schäfer
Country: Denmark
Affiliation: Google, Aarhus
Personal website: https://www.ps.uni-saarland.de/~schaefer/
Research interests: Compiler Construction, Formal Verification, Interactive Theorem Proving
Contributions