|
|||
|
S. BARRY COOPER
Department of Pure Mathematics University of Leeds Leeds LS2 9JT, U.K.
Email: 
s.b.cooper @ leeds.ac.uk
Office: Mathematics 8-19g (opposite Undergraduate Office), School of Mathematics Office Hours: Thursdays 1-2pm during Term 1. |
||
|
|
|||
| Contents | Research | Logic | Computability | Seminars | PhD students | Conferences | Personal | Teaching | Leeds |
RESEARCH INTERESTS
: Mathematical logic
(see
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.
Recent
PREPRINTS, PAPERS AND
TALKS etc. See also books:
|
|
|
|
|
|
|
|
|
|
|
|
To buy:
|
|||||
|
Books in preparation:
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
|
|
| Please go and sponsor Barry's 2010 London Marathon run for Age Concern |
The old
Logic Colloquium '97 webpage
(also
large photo of
the participants)
The
Recursive Function Theory Newsletter
(for internal use)
Research funding information
Natasha's homepage - please visit
|
|
