Waseda University ICT and Robotics

Top Global University Project: Waseda Goes Global -A Plan to Build a Worldwide Academic Network
that is Open, Dynamic and Diverse

Waseda University

Event Information

March 20, Special Lecture by Prof. Jeremy Gibbons, Oxford University, “Functional Programming for Algorithm Design”

Date & Time March 20, 2023, Monday 16:30 - 17:30
Title Functional Programming for Algorithm Design
Venue Building 120-5, Room 303
Target
participants
Waseda University Students, Faculty, Staff and General public
Participant
fee
Free
Organizer Top Global University Project: Waseda Goes Global Frontier of Embodiment Informatics: ICT and Robotics
Sponsor Waseda University Future Robotics Organization
Waseda University Graduate Program for Embodiment Informatics

Abstract: The talk is related to the book “Algorithm Design with Haskell” by Richard Bird and Jeremy Gibbons. The book is devoted to five main principles of algorithm design: divide and conquer, greedy algorithms, thinning, dynamic programming, and exhaustive search. These principles are presented using Haskell, leading to simpler explanations and shorter programs than would be obtained with imperative languages. Carefully selected examples, both new and standard, reveal the commonalities and highlight the differences between algorithms. The algorithm developments use equational reasoning where applicable, clarifying the applicability conditions and correctness arguments. I will describe the premise of the book, including in particular the small aspect in which Haskell is insufficient, and to give an example. Application Form: https://docs.google.com/forms/d/1-KKr9xRDdI-SPnlFBm1QVK02x5lrhl6GFdwguq6csho/

From 2012 until April 2017 Prof. Gibbons was Director of the Software Engineering Programme, which offers part-time professional Masters’ degrees in Software Engineering and in Software and Systems Security; He still teach on that Programme. For the academic years 2008-2010 he was also Deputy Director of the Computing Laboratory (now the Department of Computer Science), and he served as Chair of the Faculty of Computer Science from 2012 to 2016. He is a fellow of Kellogg College. Before taking up this post in 1999, he held lectureships at Oxford Brookes University and the University of Auckland, New Zealand. His  research interests are in programming languages, especially functional programming and patterns in programming. He is Editor-in-Chief of the Journal of Functional Programming, and a member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi, and of IFIP Working Group 2.11 on Program Generation.