Keynote speaker
Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.
He is a Fellow of the Royal Society, a Fellow of the Royal Society of Edinburgh, and an ACM Fellow.
He is head of the steering committee for Proceedings of the ACM, past editor-in-chief of PACMPL and JFP, past chair of ACM SIGPLAN, past holder of a Royal Society-Wolfson Research Merit Fellowship, winner of the SIGPLAN Distinguished Service Award, and a winner of the POPL Most Influential Paper Award.
Previously, he worked or studied at Stanford, Xerox Parc, CMU, Oxford, Chalmers, Glasgow, Bell Labs, and Avaya Labs, and visited as a guest professor in Copenhagen, Sydney, and Paris.
He has an h-index of over 70 with more than 25,000 citations to his work, according to Google Scholar.
He contributed to the designs of Haskell, Java, and XQuery, and is co-author of Introduction to Functional Programming (Prentice Hall, 1988), XQuery from the Experts (Addison Wesley, 2004), Generics and Collections in Java (O'Reilly, 2006), and Programming Language Foundations in Agda (2018).
He has delivered invited talks in locations ranging from Aizu to Zurich.
Schedule
Post-seminar social gathering
We have dinner booked at Mosob Ethiopian & Eritrean Restaurant, 56 Dundas Street, Glasgow G1 2AQ.
The reservation is at 18:30, which gives attendees ample time to reach the dinner venue.
We can take the subway from Hillhead station to Buchanan Street station.
Mosob is in the City Centre, next to Queen Street station and close to Glasgow Central train station.
We may visit the pub afterwards.