Paul E. Dunne graduated with a B.Sc (Hons) in Computer Science from the University of Edinburgh in July 1981. He obtained a Ph.D in Computer Science at the University of Warwick in October 1984 for research concerning the complexity theory of monotone Boolean functions. He was appointed as a Lecturer in the Department of Computer Science at the University of Liverpool in August 1985, Senior Lecturer in October 1999, a Reader in July 2003 and has been a Professor in the Department since January 2010.
His collection of published work Formal Properties of Argumentation and Negotiation Frameworks was approved for the award of D.Sc by the University of Edinburgh in May 2010.
He is a member of the Liverpool Agent-ART Group with current research interests in the fields of complexity issues in argument and dialogue, complexity of algorithms for agent design problems, properties of coalitional games. He has also worked in the areas of Boolean function complexity, Combinatorial algorithms and complexity, parallel computation, the design and analysis of efficient digital simulation methods.
He served on the organising committee of the BCTCS from 1990--2001, acting as Secretary (1992-1999) and as President (1999--2001). In addition to organising the 7th Colloquium, he has been involved in co-organising the following workshops,
He was Programme Chair for the
1st International Conference on
Computational Models of Argument (COMMA06)
hosted by the Department of Computer Science at the Univesity of Liverpool in September 2006.