
H. Dugald Macpherson is a mathematician and
logician
Logic is the study of correct reasoning. It includes both Mathematical logic, formal and informal logic. Formal logic is the science of Validity (logic), deductively valid inferences or of logical truths. It is a formal science investigating h ...
. He is
Professor
Professor (commonly abbreviated as Prof.) is an academic rank at universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who professes". Professor ...
of
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
The University of Oxford is a 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 world's second-oldest university in contin ...
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 ...
. 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