"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
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.
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.
| 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 ()