Sean Kenneth Bechhofer Senior LecturER School OF Computer Science University OF Manchester
[email protected] A: Personal RECORD A. Full NAME Sean Kenneth Bechhofer. A. Date OF BIRTH 11th April . A. Education - SCHOOLS AND UNIVERSITIES ATTENDED University OF Manchester, Department OF Computer Science. - PostgrADUATE STUDENT UNDER Dr. David Rydeheard, STUDYING Category Theory, TYPE Theory AND Logics. University OF Bristol. - BSc. Honours (ST Class) DegrEE IN Mathematics. Final YEAR COURSES TAKEN included: Functional Pro- GRamming, CompleXITY, Logic, Category Theory, Foundations OF Mathematics, Computation. SteVENSON College OF Further Education, EdinburGH - ’A’ Levels: Mathematics (A), Physics (A) AND Computer Science (B). The RoYAL High School, EdinburGH - ’O’ Grades: Arithmetic, Maths, English, Physics, Biology, Chemistry, German, Music. ’Higher’ Grades: Maths, Physics, Chemistry, English, German. CertifiCATE OF Sixth YEAR Studies: Maths I, Maths II, Maths V, Physics. Davidson’S Mains Primary School, Edinburgh. - A. QualifiCATIONS - ACADEMIC AND PROFESSIONAL - AND MEMBERSHIP OF BODIES BSc. Honours (ST Class) DegrEE IN Mathematics. Bristol . Senior FelloW OF THE Higher Education Academy. September . A . PrEVIOUS EMPLOYMENT AND APPOINTMENTS HELD -June University OF Manchester, Department Computer Science For THE TEN YEARS PREVIOUS TO MY APPOINTMENT TO FACULTY, I WORKED AS A RESEARCHER IN THE University OF Manch- ESTER Department OF Computer Science, INITIALLY AS A ResearCH Associate WITHIN THE Medical INFORMATICS GrOUP (MIG), AND LATTERLY AS A ResearCH FelloW WITHIN THE INFORMATION Management GrOUP (IMG). During THIS TIME I HAVE BEEN ASSOCIATED WITH A NUMBER OF DIffERENT PRojects. Although AT ANY ONE time, I HAVE BEEN PRIMARILY ASSOCIATED WITH A SINGLE PRoject, THE NATURE OF THE RESEARCH GRoups, PARTICULARLY THE IMG, AND MY ROLE AS A ResearCH FelloW WITHIN THE GRoup, MEANS THAT I HAVE CONSTANTLY BEEN PROVIDING INPUT TO other, RELATED work.