FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
ICSE 2023 (series) / FormaliSE 2023 (series) / 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

Show activities from other conferences

ICSE 2023-profile
View general profile