David Boetius
Contact
Phone: +49 7531 88-4463Room: PZ 912
Post office box: 067
Office Hours
Appointment via e-mail
Research Interests
- Formal verification and falsification of machine learning
- Provable repair of machine learning systems
- Specification-guided synthesis of machine learning systems