D.M. Groß MSc (Dennis)

PhD candidate - Software Science

D.M. Groß MSc (Dennis)
Contact
Visiting address

Toernooiveld 212
6525 EC NIJMEGEN
Internal postal code: 47

Postal address

Postbus 9010
6500 GL NIJMEGEN

The formal verification of neural networks.

Research theme
  • Formal Verification of Neural Networks
Research group
Tags: Machine Learning

Ancillary activities