I am a Research Chair at ANITI, University of Toulouse (FR). My research interests include automated reasoning, artificial intelligence and machine learning. Before joining ANITI, I was affiliated with University College Dublin (IE), the University of Southampton (UK), and with the University of Lisbon (PT). At ANITI, I am the Research Chair on Deep Learner Explanation and Verification.
Technical University of Lisbon, PT
University of Michigan, Ann Arbor, USA