Philip Wadler's home page

Contact details
Wadler's Blog
Towards Independence
@PhilipWadler
Lambdaman
Links
ABCD
Haskell
JFP
FP in the real world
SPLS
Computational Thinking and Outreach
A photo of Philip Wadler Philip Wadler Visiting CWI Amsterdam Visiting CWI Amsterdam Read the reviews! Read the reviews!

Projects

Want a Lambdaman t-shirt?

Interested in applying for a PhD or Internship?

From Data Types to Session Types: A Basis for Concurrency and Distribution, an EPSRC Programme Grant, joint with Simon Gay, Glasgow, and Nobuko Yoshida, Imperial.

TypeScript: The Next Generation funded by a Microsoft Research PhD Scholarship.

Centre for Doctoral Training in Pervasive Parallelism, studentships available for cohort starting September 2016.

Currently:

Formerly:

For details see my vita or short biography.

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.

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 married to Catherine Lyons and the father of Adam and Leora.
A wedding photo Leora and Adam at one month Leora and Adam at five years Leora and Adam at eight years


Mathematics in the nineteenth century began to include four-dimensional spheres, parrallel lines that meet, and a deliberately meaningless algebra of empty symbols, becoming more and more abstract and detached from any description of reality ... before reality, in the twentieth century, with its curved space-time and multiple unseeable dimensions and logic-operated computers, couldn't bear to be parted from its old friend mathematics and curved back to meet it. — Sydney Padua, The Thrilling Adventures of Lovelace and Babbage.

Other favorite quotes

Edinburgh

Philip Wadler
Informatics Forum 5.31
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,