Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 5 Gender Equality
Fingerprint
Dive into the research topics where Fairouz Kamareddine is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Formal Description of an Algorithm Suitable for Parsing the Language of Mathematics
Vrečar, L., Wells, J. & Kamareddine, F., 2026, Intelligent Computer Mathematics. CICM 2025. de Paiva, V. & Koepke, P. (eds.). Springer, p. 171-188 18 p. (Lecture Notes in Computer Science; vol. 16136).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Intersection Types via Finite-Set declarations
Kamareddine, F. D. & Wells, J., 8 Jun 2024, Logic, Language, Information, and Computation: WoLLIC 2024. Metcalfe, G., Studer, T. & de Queiroz, R. (eds.). Springer, p. 80-92 13 p. (Lecture Notes in Computer Science; vol. 14672).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile11 Downloads (Pure) -
Thematic Editorial, It Is Hard To Imagine A World Without Algorithms and Data Science
Kamareddine, F., 2 Jun 2024, In: Computer Journal. 67, 5, p. 1605-1606 2 p.Research output: Contribution to journal › Editorial › peer-review
Open AccessFile17 Downloads (Pure) -
The paradoxes and the infinite dazzled ancient mathematics and continue to do so today
Kamareddine, F. D. & Seldin, J. P., 10 May 2024, 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing 2023. IEEE, p. 11-19 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile55 Downloads (Pure) -
Towards Semantic Markup of Mathematical Documents via User Interaction
Vrecar, L., Wells, J. & Kamareddine, F. D., 29 Jul 2024, Intelligent Computer Mathematics. CICM 2024. Kohlhase, A. & Kovács, L. (eds.). 9783031669965: Springer, p. 223-240 18 p. (Lecture Notes in Computer Science; vol. 14960).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile2 Link opens in a new tab Citations (Scopus)8 Downloads (Pure)
Activities
- 1 Invited talk
-
The paradoxes and the infinite dazzled ancient mathematics and continue to do so today
Kamareddine, F. D. (Speaker)
12 Sept 2023Activity: Talk or presentation › Invited talk