Prof Paul Dunne B.Sc., Ph.D., D.Sc.

简介

Paul Dunne is a Professor of CS at the University of Liverpool where he has worked since 1985. He studied CS at the University of Edinburgh (1977-1981) and completed his PhD research in the area of Boolean function complexity at Warwick University (1981-1984) under Mike Paterson's supervision. 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. In his time at Liverpool he has had experience in teaching all levels of undergraduate from first year through to Honours year presenting courses on Computability and Complexity Theory, Algorithms, History of Computation, Experimental Methods in CS, Operating Systems, and Analytic Methods in CS. He has published research in sever