Collaborative project with Boston
EPSRC project Grant Number GR/M08479
Type Theory for Programming a la Boston and Heriot-Watt
Visiting Fellowship for Assaf Kfoury
Supported by EPSRC
Value 22,100 GBP
Visiting Professor:
Professor Assaf Kfoury
Kfoury will visit Heriot-Watt for three months in two visits between
March '98 and February 2000.
Kfoury's visits will be important for the
exchange of new ideas between his group in Boston and Kamareddine's
group in Heriot-Watt. The common framework between Boston and Heriot-Watt
is the study of programming languages based on type theory and logic.
During his visits, Kfoury will
-
attend the Heriot-Watt Ultra group meetings,
- study and use our systems,
- explain the approaches developped by the Boston
Church group in similar problems.
- actively work with us on solving some problems that are open in both
groups.
To reach a common understanding of each other's
approaches, to use each others' results productively and to solve our common
problems, regular daily meetings will take place during Kfoury's visits.
At the end of the collaboration, it is expected that more precise theories and
prototypes be developped that will have both the Heriot-Watt and Boston flavour and
that will lead to new advances in the field. Articles resulting from this
joint work are expected
to be published in international journals and conferences.
Maintained by
Fairouz Kamareddine
