Alessio Lomuscio has published approximately 150 research articles on intelligent systems and their verification. The overall ambition of his research work is to develop formal techniques to validate intelligent systems before they are deployed. He has chaired several international conferences in Artificial Intelligence and formal methods and regularly serves on program committees for the major international conferences in the area. In addition to his technical research agenda, he is interested in the impact Artificial Intelligence and advanced computer systems will have on society and labor.