Mauro Vallati
Professor of Automated Reasoning
Manchester Metropolitan University