Professor S. BARRY COOPER School of Mathematics University of Leeds, Leeds LS2 9JT, U.K.
Office: Physics Research Deck 9.314 Email: s.b.cooper @ leeds.ac.uk 

Contents  Research  Logic  Computability  Seminars  PhD students  Conferences  Personal  Teaching  Leeds 
ALAN TURING His Work and Impact wins top prize at the 2013 PROSE Awards (The American Publishers Awards for Professional and Scholarly Excellence)


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. 
Mark Carney  Completed MSc at Leeds in 2014, joined Sec1 Ltd as "Penetration Tester" late, 2014  working parttime 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.  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. 
James Riley  Leeds graduate, started PhD in 2012. Has interesting results concerning the structure of the Δ^{0}_{2} Turing degrees.  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. 


Ahmet Cevik  arrived Leeds from Ankara, Turkey  more info ... successfully defended his thesis on Π^{0}_{1}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! 
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!  ChaeUn. Graduated 2012, now lecturing in Seoul 
Phil Ellison  arrived from Cambridge Sept. 2007  graduated 2011 with a PhD Thesis on Structural Properties of Generalised Jump Classes.  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 
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 201214. Married Joe Miller 2015.  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. 200708 ... then Amsterdam ... then Beijing ... now on faculty, Victoria University of Wellington, NZ 
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 Afshari  at home in Tehran, with some light reading. Mashhad, New Year 200506. A wild winters day, Whitby beach. Concentrating, IPM, Tehran, 2006. Now in Oxford 
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  Benedict Durrant  'arrived' from sunny Leeds, October 2010 ... His 2014 PhD Thesis was: The Meet Property in Local Degree Structures  congratulations Dr Durrant ! 
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 201112) 
MATH0111:
Elementary Differential Calculus Available class handouts 
MATH3032:
Graph Theory Available class handouts (for 200910) 
MATH3102:
Mathematical Logic 2 Available class handouts (for 201011) 
MATH2210:
Intro. to Discrete Mathematics Available class handouts (for 200405) 
MATH2040:
Mathematical Logic 1 Available class handouts (for 200506) 
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
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. 
visitors to this page
since
20/2/97
