Nikolaus Vertovec

Nikolaus Vertovec is a Researcher affiliated with the Department of Computer Science at the University of Oxford, focusing on interdisciplinary research at the intersection of artificial intelligence, control systems, and formal verification. His work emphasizes safety-critical applications, hybrid control systems, and optimization in dynamic environments.

Research Interests:

• Safety-critical control systems
• Neural network verification
• Hybrid and adaptive control
• Multi-objective optimization
• Spacecraft trajectory design
• Formal error bounds in deep learning

Recent Article Trends: His recent publications highlight certified safety in reinforcement learning, formal verification of neural networks for control systems, and applications in airborne wind energy and spacecraft trajectory optimization. Key methodologies include reachability analysis, kernel-based verification, and distributed dynamic programming algorithms.