green bar
Barry Cooper photo Professor  S.  BARRY COOPER

School of Mathematics
University of Leeds, Leeds LS2 9JT, U.K.
Logic@Leeds logo
Phone: 0113 343 5165 - FAX: 0113 343 5090
Office: Physics Research Deck 9.314
Email: Mail me image s.b.cooper @
green bar
Contents | Research | Logic | Computability | Seminars | PhD students | Conferences | Personal | Teaching | Leeds
green bar
alt alt Boston talk Turing Year logo
CACM article

His Work and Impact

wins top prize at the 2013 PROSE Awards (The American Publishers Awards for Professional and Scholarly Excellence)

button Some NEWS REPORTS: The Wall Street Journal - Scientific Computing - Market Watch - Law Street - Elsevier Connect - Publishers Weekly - Association of American Publishers - Communications of the A.C.M.

button RESEARCH INTERESTS : Mathematical logic (see Mathematical Logic Around the World); space COMPUTABILITY THEORY and applications to science and the humanities - see papers Incomputability in Nature, Clockwork or Turing U/universe, Computability and emergence, Definability as hypercomputational effect, or Alan Turing and Enigmatic Statistics (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 rather journalistic slant on incomputability.
Or how about a March 2013 talk in a pub on Alan Turing: The Building of a Brain
For the record, here's my Amazon author page
And a June 2013 Elsevier Connect interview for launch of Alan Turing - His Work and Impact


button Recent PREPRINTS, PAPERS AND TALKS etc. See also books:
Computability Theory book How the World Computes TAMC 2012 NCP LC06 Review by Professor Jeff Paris in London Mathematical Society Newsletter
Computability in Context Computability and Models book lncs TAMC 2007 Proceedings
TAMC 2006 Proceedings CiE 2005 Proceedings Computability, Enumerability, 
Unsolvability book Sets and Proofs Models and Computability Review by Jeremy Avigad in The Notices of the American Mathematical Society

Review by Jean-Paul Allouche in the European Mathematical Society Newsletter

Review by Charles Ashbacher in the Mathematical Association of America Reviews

Review by Chris Christensen in Cryptologia

TAMC 2014 Proceedings To buy:

Amazon logo Amazon UK logo

button Books in preparation:
  • S. B. Cooper and M. I. Soskova: The Incomputable , Springer
  • S. B. Cooper, A. Sorbi and M. I. Soskova: Computing with Incomplete Information: The Mathematics of Enumeration and Positive Reducibilities , World Scientific Publishing
  • S. B. Cooper: Machines, Memes and Incomputability: Alan Turing's Other Great Legacy , World Scientific Publishing
button Editorial Boards of journals:
button Current and recent research students:
thumbnail Mark Carney - Completed MSc at Leeds in 2014, joined Sec-1 Ltd as "Penetration Tester" late, 2014 - working part-time on PhD in Leeds Logic Group since April 2015. Sarah Sigley - arrived from Newcastle University, September 2015.
Ingram Bondin - arrived in Leeds from Malta, in September 2013 - Demonstrating against censorship in 2010 and speaking at Front Against Censorship in Malta. Interests in higher type computability, and 0'''-priority arguments. thumbnail James Gay - arrived from Manchester Sept. 2012. Writing up some interesting results on linearisations of computable partial orderings, including answer to a question of Rod Downey.
thumbnail James Riley - Leeds graduate, started PhD in 2012. Has interesting results concerning the structure of the Δ02 Turing degrees. thumbnail David Toth - Arrived in Leeds from Imperial College, London in September 2014 with a Master of Engineering degree in Computing (Artificial Intelligence) ... interested in connections between computability and AI.

thumbnail Ahmet Cevik - arrived Leeds from Ankara, Turkey - more info ... successfully defended his thesis on Π01-classes in July 2014. Liliana Badillo - Arrived in Leeds from sunny Mexico in October 2009, read Los Detectives Salvajes - had art classes at Frida Kahlo's house (spot logician Jan van Heijenoort) - graduated October 2013!
thumbnail Stijn Vermeeren - arriving from Aarschot, Belgium, via Part 3 at Cambridge, Oct. 2009 - represented Belgium in Int. Mathematical Olympiad! Hiking in Scotland, February 2013 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. Graduated 2012, now lecturing in Seoul
thumbnail Phil Ellison - arrived from Cambridge Sept. 2007 - graduated 2011 with a PhD Thesis on Structural Properties of Generalised Jump Classes. thumbnail 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 to 2011 - now in Bristol
thumbnail 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 - in Berkeley 2012-14. Married Joe Miller 2015. thumbnail 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 ... then Amsterdam ... then Beijing ... now on faculty, Victoria University of Wellington, NZ
thumbnail Anthony Morphett from Melbourne. George and Elaine's housewarming, June 2006 - and Great Wall, Simatai, 2006. Colossus rebuild, Bletchley. CiE06 RatPack - now lecturing back in Australia bahareh 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. Now in Oxford
thumbnail Andrew E M Lewis - at a conference in Kazan, July, 2004. At Badaling, China, 2006. Royal Society advanced fellow in Leeds from Oct. 2007 - summer 2013. Now on faculty at LSE in London thumbnail Benedict Durrant - 'arrived' from sunny Leeds, October 2010 ... His 2014 PhD Thesis was: The Meet Property in Local Degree Structures - congratulations Dr Durrant !

button Current and recent courses:
MATH1060: Introductory Linear Algebra
Available class handouts via the VLE
MATH3143: Combinatorics
All class handouts, to be made available via the VLE
MATH3163/ 5164: Computability and Unsolvability
Available class handouts (for 2011-12)
MATH0111: Elementary Differential Calculus
Available class handouts
MATH3032: Graph Theory
Available class handouts (for 2009-10)
MATH3102: Mathematical Logic 2
Available class handouts (for 2010-11)
MATH2210: Intro. to Discrete Mathematics
Available class handouts (for 2004-05)
MATH2040: Mathematical Logic 1
Available class handouts (for 2005-06)

button Some biographical notes (very out-of-date)- and some not-so-recent conference photographs.

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

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

button Information on the association Computability In Europe - and its first nine conferences CiE 2005, CiE 2006, CiE 2007, CiE 2008, CiE 2009, CiE 2010, CiE 2011, CiE 2012, CiE 2013, CiE 2014 and CiE 2015
CiE 2005 small poster CiE 2006 small poster CiE 2007 small poster CiE 2008 small poster CiE 2009 small poster
CiE 2010 small poster CiE 2011 small poster CiE 2012 small poster CiE 2013 small poster CiE 2014 small poster CiE 2015 small poster

Many thanks to everyone who visited my sponsor page for the 2010 London Marathon - we raised over 1,690 pounds for Age Concern, a great result.
[First RFTNL]

button The old Logic Colloquium '97 webpage (also large photo of the participants)

button The Recursive Function Theory Newsletter - 1972 - 1977

button (for internal use) Research funding information

visitor counter visitors to this page since 20/2/97

Logic@Leeds logo University of Leeds logo SIGLaC logo CiE 2009 poster CiE logo CiE 2005 small poster CiE 2006 small poster CiE 2007 small poster CiE 2008 small poster Turing Year logo in Bognor in Berkeley Logic Colloquium '97 logo CiE'10 poster CiE'10 poster CiE'10 poster CiE'10 poster CiE'10 poster CiE'14 poster CiE'15 poster
Valid HTML 4.01!