conf.researchr.org / Cedric Richter
Cedric Richter

Registered user since Wed 22 Jan 2020

Name:Cedric Richter
Country:Germany
Affiliation:Carl von Ossietzky Universität Oldenburg / University of Oldenburg
Personal website: https://uol.de/en/computingscience/groups/formal-methods/team/cedric-richter
X (Twitter): https://x.com/cedricrupb
Research interests:Machine Learning, Software Verification

Contributions