Philip Welch

{{short description|British mathematician (born 1954)}}

{{Use dmy dates|date=April 2022}}

{{Infobox scientist

| name = Philip Welch

|birth_name = Philip David Welch

|image =

|caption =

|birth_date = {{Birth date and age|1954|1|6|df=y}}

|birth_place =

|nationality = British

|field = Mathematics, Mathematical Logic, Philosophy

|work_institutions = University of Bristol, UCLA, Kobe University

|alma_mater = University College London
University of Oxford

|doctoral_advisor = Robin Gandy

|known_for =

|doctoral_students =

|prizes = Inamori Foundation Young Researcher's Prize 1998

}}

Philip David Welch (born 6 January 1954) is a British mathematician known for his contributions to logic and set theory. He is Professor of Pure Mathematics at the School of Mathematics, University of Bristol.{{cite web|url=http://www.bristol.ac.uk/maths/people/philip-d-welch/overview.html|title=Research profile of Philip Welch at University of Bristol|publisher=}}{{cite web|url=https://www.people.maths.bris.ac.uk/~mapdw/|title=Philip Welch|website=www.people.maths.bris.ac.uk}}{{MathGenealogy |id=36389}} He was the Coordinating Editor of the Journal of Symbolic Logic in 2016, President of the British Logic Colloquium from 2017 to 2022 and President of the European Set Theory Society from 2021 to 2025.

Biography

{{BLP one source|section|date = October 2021

}}

Welch attended Lancing College. After obtaining a BSc in mathematics from University College London in 1975, he attended Exeter College at the University of Oxford, taking an MSc in mathematical logic in 1976 and his DPhil in 1979, under the supervision of Robin Gandy. His dissertation was entitled Combinatorial Principles in the Core Model.

He worked as an assistant at the Seminar für Logik at the University of Bonn from 1980 to 1981, then as an SERC Research Fellow at Wolfson College, Oxford, from 1981 until 1983. Following a Royal Society European Research Fellowship at the University of Bonn, and the Free University of Berlin (1984), he held a position as an assistant professor at UCLA until 1986. In 1997 he left Bristol in order to set up a research group in set theory at the Graduate School of Science and Technology at Kobe University, Japan. He subsequently held a Guest Professorship at the Kurt Gödel Research Center at the University of Vienna (2000–2001) and a Mercator Professorship at the University of Bonn (2001) before returning to Bristol in 2002. He was appointed as a Professor there in 2004. Apart from research articles he is co-author with Aaron Beller and Ronald Jensen

of Coding the Universe.{{cite web|url=http://www.cambridge.org/gb/academic/subjects/mathematics/logic-categories-and-sets/coding-universe?format=PB#kzS6BLaFm2JhuO3W.97|title=Coding universe - Logic, categories and sets|website=Cambridge University Press}}

References

{{reflist}}