"Quand on a vécu au Liban, la première religion que l'on a, c'est la religion de la coexistance." Amin Maalouf

"Quand vous travaillez, vous êtes une flûte à travers laquelle le chuchotement des heures se transforme en musique."
"Pity the nation that wears a cloth it does not weave, eats a bread it does not harvest, and drinks a wine that flows not from its own wine-press." Gibran Khalil Gibran

"I used to go to church and listen to Christian music, and also to Islamic recitations of the Koran. In Lebanon we have a marriage of Islamic and Christian culture. That really helped to form my musical awareness." Marcel Khalife

Potential Ph.D. Students

There are several open positions at Heriot-Watt for Ph.D. students to do research into the theories of logics, types, and rewriting and their applications in reasoning about computer systems and mathematics. The positions are available immediately. See the advertisement for more details.

Professor Fairouz Kamareddine,

I am a Professor of Computer Science. I work in the ULTRA (Useful Logics, Types, Rewriting and their Automation) group at the School of Mathematical and Computer Sciences at Heriot-Watt University in Edinburgh, Scotland.

Events, conferences and workshops in which I am involved: Click here
Funded Projects: current grants and some past grants.
Selected Publications: by order and by year.
Recent Talks: Since 2000.
Editorship: Journals, Others.
Agencies in which I am involved: Click here
Personal
Teaching: Click here

Contact Details

Post:	Professor Fairouz Kamareddine Professor of Theoretical Computer Science Heriot-Watt University School of Mathematical and Computer Sciences Mountbatten building Riccarton Edinburgh EH14 4ASQ Scotland
E-mail:
Telephone direct:	+44 131 451 3868
Fax Direct:	+44 131 451 8179
Fax Secretary	+44 131 451 3327

Maintained by Fairouz Kamareddine ()