Adonis Bovell leads the algorithm assurance branch in the Assured Software and Information Division of GTRI’s CIPHER Lab. His group’s work focuses on the security benefits and risks associated with the application of advanced algorithms to cybersecurity problems. This entails research on model robustness, trustworthiness and privacy, including data valuation and synthetic data generation, formal verification and adversarial machine learning, and privacy and fairness. Previously, Bovell has worked on automated malware analysis and malicious network traffic detection.