Alan Bundy
Professor of Automated Reasoning at University of Edinburgh, Associate Editor at CACM Journal from 2012-2015, Professor at RAEng from 2008-2014, Professor at University of Edinburgh from 1998-2011
Professor of Automated Reasoning at University of Edinburgh, Associate Editor at CACM Journal from 2012-2015, Professor at RAEng from 2008-2014, Professor at University of Edinburgh from 1998-2011