H. Dugald Macpherson is a mathematician and

logician Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arg ...

. He is

Professor Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other tertiary education, post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin ...

Pure Mathematics Pure mathematics is the study of mathematical concepts independently of any application outside mathematics. These concepts may originate in real-world concerns, and the results obtained may later turn out to be useful for practical applications ...

at the

University of Leeds The University of Leeds is a public research university in Leeds, West Yorkshire, England. It was established in 1874 as the Yorkshire College of Science. In 1884, it merged with the Leeds School of Medicine (established 1831) and was renamed Y ...

. He obtained his DPhil from the

University of Oxford The University of Oxford is a collegiate university, collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the List of oldest un ...

in 1983 for his thesis entitled "Enumeration of Orbits of Infinite Permutation Groups" under the supervision of

Peter Cameron Peter Cameron may refer to: * Peter Cameron (entomologist) (1847–1912), English entomologist who specialised in Hymenoptera * Peter Cameron (mathematician) (born 1947), Australian mathematician, joint winner of the 2003 Euler Medal * Peter Camero ...

. In 1997, he was awarded the

Junior Berwick Prize The Berwick Prize and Senior Berwick Prize are two prizes of the London Mathematical Society awarded in alternating years in memory of William Edward Hodgson Berwick, a previous Vice-President of the LMS. Berwick left some money to be given to the ...

by the

London Mathematical Society The London Mathematical Society (LMS) is one of the United Kingdom's Learned society, learned societies for mathematics (the others being the Royal Statistical Society (RSS), the Institute of Mathematics and its Applications (IMA), the Edinburgh ...

. He continues to research into

permutation groups In mathematics, a permutation group is a group ''G'' whose elements are permutations of a given set ''M'' and whose group operation is the composition of permutations in ''G'' (which are thought of as bijective functions from the set ''M'' to its ...

and

model theory In mathematical logic, model theory is the study of the relationship between theory (mathematical logic), formal theories (a collection of Sentence (mathematical logic), sentences in a formal language expressing statements about a Structure (mat ...

. He is scientist in charge of the MODNET team at the University of Leeds. He co-authored the book ''Notes on Infinite Permutation Groups''.

References

External links

Prof. Macpherson's homepage
Year of birth missing (living people) 20th-century British mathematicians 21st-century British mathematicians Living people Alumni of the University of Oxford Academics of the University of Leeds Model theorists Place of birth missing (living people) {{UK-mathematician-stub