SPLASH/ISSTA 2026 (series) / Cedric Richter
Registered user since Wed 22 Jan 2020
Name:Cedric Richter
Country:Luxembourg
Affiliation:University of Luxembourg
Personal website: https://cedricrupb.github.io
X (Twitter): https://x.com/cedrichter
GitHub: https://github.com/cedricrupb
Research interests:Machine Learning, Software Verification
Contributions
Using general profile