Data Science

Research Frontiers in Neural Network Verification

Developing formal verification methods to prove safety and robustness properties of neural networks in safety-critical applications.

All Data Science PhD categories