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 science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

. He is

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

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 , mottoeng = And knowledge will be increased , established = 1831 – Leeds School of Medicine1874 – Yorkshire College of Science1884 - Yorkshire College1887 – affiliated to the federal Victoria University1904 – University of Leeds , ...

. He obtained his DPhil from the

University of Oxford , mottoeng = The Lord is my light , established = , endowment = £6.1 billion (including colleges) (2019) , budget = £2.145 billion (2019–20) , chancellor ...

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

Peter Cameron Peter Cameron is the name of: * Peter Cameron (entomologist) (1847–1912), English entomologist who specialised in Hymenoptera * Peter Cameron (minister) (born 1945), Scottish-born Church of Scotland minister convicted of heresy by the Presbyteria ...

. In 1997, he was awarded the Junior Berwick Prize by the

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

. 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 ...

and

model theory In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the s ...

. 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