Doctoral Researcher @KITinformatik (@KITKarlsruhe) | Formal Methods for Software & AI (Focus on CPS and Fairness Verification)

ID: 1374101867484086274

linkhttp://www.teuber.dev calendar_today22-03-2021 20:53:32