Projects by Fairouz Kamareddine

Mathematical Knowledge Management, EU.
DART, EU.
Typed Calculi for Problems in Higher-Order Programming Languages. Project Co-ordinator: Professor Fairouz Kamareddine. Heriot-Watt Investigator: Joe Wells Boston Investigator: Assaf Kfoury John Hopkins Investigator: Scott Smith Funded by NATO.
An Efficient and User Friendly Proof Development Environment. Principal Investigator: Professor Fairouz Kamareddine. Dutch partners: Prof. Jan Willem Klop, Prof. Henk Barendregt and Dr. Erik Barendsen Funded by The Royal Society.
Efficient Programming in Classical Logic. Principal Investigator: Professor Fairouz Kamareddine. Researcher: Dr. Francois Monin. Visiting Researcher: Professor Mauricio Ayala Funded by EPSRC.
On Type Theory and Term Rewriting for Expressive and Efficient Programming Languages. Principal Investigator: Professor Fairouz Kamareddine. Researcher: Dr. Joe Wells. Visiting Researcher: Dr. Detlef Plump. Funded by EPSRC. Photo1, Photo2
Type Theory for Programming a la Boston and Heriot-Watt. . Principle Investigator: Professor Fairouz Kamareddine. Visiting Professor Assaf Kfoury. Funded by EPSRC.
Type Theory and Term Rewriting For Programs and Proofs. British Principal Investigator: Professor Fairouz Kamareddine. Dutch partners:Prof. Jan Willem Klop, Prof. Henk Barendregt and Dr. Erik Barendsen Funded by British Council and NWO.
Advantages of a New Lambda-Notation. Principal Investigator: Dr. Fairouz Kamareddine. Researcher: Dr. Alejandro Rios. Funded by EPSRC. Photo1, Photo2, Photo3
Bridging the Gap between Type Theory and Term Rewriting. British Principal Investigator: Dr. Fairouz Kamareddine Dutch partner: Prof. Henk Barendregt. Funded by British Council and NWO.
Investigation into the Theory and Practice of Reduction. British Principal Investigator: Dr. Fairouz Kamareddine Dutch partner:Prof. Jan Willem Klop. Funded by British Council and NWO.

Maintained by Fairouz Kamareddine