Barry Cooper's Home Page

- Latest Errata list -

S. BARRY COOPER

Department of Pure Mathematics
University of Leeds
Leeds LS2 9JT, U.K.

Research
group:

Phone: 0113 343 5165 - FAX: 0113 343 5090
Email: s.b.cooper @ leeds.ac.uk

Office: Mathematics 8-19g (opposite Undergraduate Office)
Office Hours: In Semester 2, available Tues. and Wed. mornings, 10 - 12

Please go and sponsor Barry's 2010 London Marathon run for Age Concern

RESEARCH INTERESTS : Mathematical logic (see Mathematical Logic Around the World);

COMPUTABILITY THEORY and applications to science and the humanities - see papers Incomputability in Nature, Clockwork or Turing U/universe, Computability and emergence, or Definability as hypercomputational effect (pdf files); complexity theory; combinatorics and graph theory.
A short computability in context reading list.
See the February 2005 University of Leeds Reporter for a more journalistic slant on incomputability.

Recent PREPRINTS, PAPERS AND TALKS etc. See also books:

Books in preparation:

S. B. Cooper and A. Sorbi: Computing with Incomplete Information: The Mathematics of Enumeration and Positive Reducibilities , World Scientific Publishing
S. B. Cooper and A. Sorbi (eds.): Computability in Context: Computation and Logic in the Real World , Imperial College Press/World Scientific
S. B. Cooper: Machines, Memes and Incomputability: Alan Turing's Other Great Legacy , World Scientific Publishing

Current and recent research students:

Anthony Morphett from Melbourne. George and Elaine's housewarming, June 2006 - and Great Wall, Simatai, 2006. Colossus rebuild, Bletchley. CiE06 RatPack	Kyung Il Lee - arrived in Leeds from Western Illinois University in September, 2006. Married April 2007. My students at CiE07. March 2008 - Hyun Jin has a baby! - Chae-Un
Phil Ellison - arrived from Cambridge Sept. 2007	Stijn Vermeeren - arriving from Aarschot, Belgium, via Part 3 at Cambridge, Oct. 2009
Liliana Badillo - Arrived in Leeds from sunny Mexico in October 2009	Charles Harris - we seek him here, we seek him there ... but caught (with Andrea Sorbi) by Bahareh at CiE 2006. Another at CiE06. Back in Leeds as an EPSRC Fellow from Oct. 2008
Andrew E M Lewis - at a conference in Kazan, July, 2004. At Badaling, China, 2006. Royal Society advanced fellow in Leeds from Oct. 2007	Mariya Soskova - speaking. On steam bus in Whitby Feb, 2006. At Great Wall, and Forbidden City. Bletchley Park, 2006. CiE06. Singapore. CiE07. Olympos 2007. Sofia 2008. Dr M. I. Soskova.
Bahareh Afshari - at home in Tehran, with some light reading. Mashhad, New Year 2005-06. A wild winters day, Whitby beach. Concentrating, IPM, Tehran, 2006	George Barmpalias - on holiday in Greece - and back in the Leeds winter, working with Andy Lewis. Our favourite photo of George and Elaine . In New Zealand Oct. 2007-08 ...
	Matthew B Giorgi - back in the UK (but sadly not Leeds) from two years in Siena

Current and recent courses:

MATH3163: Computability and Unsolvability Available class handouts	MATH3032: Graph Theory Available class handouts
MATH2040: Mathematical Logic 1 Available class handouts (for 2005-06)	MATH2210: Intro. to Discrete Mathematics Available class handouts (for 2004-05)
	MATH3102: Mathematical Logic 2 Available class handouts (for 2008-09)

Some biographical notes - and some recent conference photographs.

Some seminars of interest: Leeds Logic Seminar , the Computability Theory Seminar and the SIGLaC - Special Interest Group in Logic and Computation - seminars

Opportunities for postgraduate research in logic at Leeds - and a brief genealogy

Information on the association Computability In Europe - and its first six conferences CiE 2005, CiE 2006, CiE 2007, CiE 2008, CiE 2009, and CiE 2010

CiE 2009 small poster