Registered user since Wed 22 Jan 2020
Name:Cedric Richter
Country:Germany
Affiliation:Carl von Ossietzky Universität Oldenburg / University of Oldenburg
Twitter:https://twitter.com/cedricrupb
Research interests:Machine Learning, Software Verification
Contributions
| FormaliSE 2023 | Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile