Speaker
Luca Arnaboldi
University of Birmingham
Research Interests: Security of autonomous systems, explainable AI, and formal verification of machine learning algorithms.
More Information:
Talks at this conference:
| Mon, 14:30 | Formal Methods for Natural Language Processing |