Personal information

No personal information available

Activities

Employment (1)

Heriot-Watt University: Edinburgh, GB

Employment
Source: Self-asserted source
Fairouz Kamareddine

Works (3)

Towards Semantic Markup of Mathematical Documents via User Interaction

2024 | Book chapter
Contributors: Luka Vrečar; Joe Wells; Fairouz Kamareddine
Source: check_circle
Crossref

Thematic Editorial It is hard to imagine a world without Algorithms and Data Science

2024-05-24 | Other
Contributors: Fairouz Kamareddine; Fairouz Kamareddine
Source: check_circle
Crossref

On applying the λse style of unification for simply-typed higher order unification

Matemática Contemporânea
2003 | Journal article
Contributors: Mauricio Ayala-Rincón; Fairouz Kamareddine
Source: check_circle
Crossref