University College London Featured PhD Programmes
University of Kent Featured PhD Programmes
Norwich Research Park Featured PhD Programmes
Norwich Research Park Featured PhD Programmes
European Molecular Biology Laboratory (Heidelberg) Featured PhD Programmes

Functional Programs as Spreadsheets

  • Full or part time
  • Application Deadline
    Applications accepted all year round
  • Self-Funded PhD Students Only
    Self-Funded PhD Students Only

Project Description

Spreadsheets are widely used as a calculation tool in scientific modelling, business and finance. A spreadsheet application is a standard part of any office productivity suite.

It is well-known that a spreadsheet can be viewed as a kind of functional program. Assuming the absence of circular references, by translating each filled cell to a function, one obtains a recursion-free functional program.

However, translation in the other direction, from functional programs into spreadsheets, has not been well-studied. In general, it is impossible to translate a functional program into a spreadsheet that performs the same computation. However, observing that the denotation of a functional program is the least upper bound of a sequence of fixed point approximants, we can translate one of those approximants into a spreadsheet. The goal of this project is to investigate this connection.

Applications of this research might include a spreadsheet-based tool for teaching functional programming, or a spreadsheet-based development environment and debugger for experienced users of functional programming.

For informal enquiries, please contact , including "Functional Programs as Spreadsheets" in the subject of your e-mail and stating clearly how you meet the eligibility criteria.

Funding Notes

You must have a good Bachelor's degree (2.1 or higher, or equivalent) or Master's degree in Computer Science, Mathematics or a similar relevant subject.

Experience of functional programming is essential, as is knowledge of at least one of the following topics: programming language semantics; static analysis; proof assistants such as Coq; program synthesis; bidirectional transformations.

Related Subjects

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.

Your enquiry has been emailed successfully

FindAPhD. Copyright 2005-2019
All rights reserved.