Philip Wadler's home page

Contact details
Wadler's Blog
Towards Independence
@PhilipWadler
PLFA
Links
ABCD
Haskell
JFP
FP in the real world
SPLS
Computational Thinking and Outreach
Photo by Adam Wadler, 2023 Portrait by Scott Marshall, 2021 Portrait by Scott Marshall, 2021 Bright Club, Edinburgh, 2019 Bright Club, Edinburgh, 2019 CWI Amsterdam CWI Amsterdam

Projects

Currently:

Formerly:

For details see my vita or short biography.

ORCID iD iconhttps://orcid.org/0000-0001-7619-6378

Upcoming events

Research interests

Awards

Recent events

Older events.

Recent talks and papers

Publications and Talks

Citations of my work on Google Scholar, Microsoft Academic Search, Citeseer. Google ranks my h-index at 60 (September 2013). I appear at position 6 in a list of most acknowledged researchers.

Bibliography at DBLP and Edinburgh Research Explorer. Here is my Orcid id.

Students

Current students (PhD):

Previous students (PhD and MPhil):

Previous students (MSc and UG4):

Of interest to potential students:

Teaching

Current.

Former.

Service and Editorial

Please submit to the above!

Unusual applications

Here are some unusual application of my work. Please let me know of others!

Jewish calendar

A request: please avoid scheduling events on Shabbat, Rosh Hasanah, Yom Kippur, Sukkot, Chanukkah, Purim, and Passover. Holiday dates for the next five years. I am a member of Sukkat Shalom, the Edinburgh Liberal Jewish Community, Jews for Justice for Palestinians, and Scottish Jews for a Just Peace.

Other

Personal

I am the father of Adam and Leora.
Leora and Adam at one month Leora and Adam at five years Leora and Adam at eight years


The day is short, and the labor is plenty ... You are not obliged to complete the work, but neither are you free to desist from it. — Rabbi Tarvon, quoted by Moshe Vardi in How to be an Ethical Computer Scientist.

Other favorite quotes

Edinburgh

Philip Wadler
Informatics Forum 5.30a
10 Crichton Street
Edinburgh EH8 9AB
UNITED KINGDOM
public key
      http://homepages.inf.ed.ac.uk/wadler
@PhilipWadler
office: +44 131 650 5174
fax: +44 131 651 1426
admin: +44 131 651 3435
<my last name>@inf.ed.ac.uk

Philip Wadler,