معرفی
Fairouz Dib Kamareddine is a Professor in the School of Mathematical & Computer Sciences at Heriot-Watt University, specializing in the Computer Science department. Their research focuses on theoretical computer science, type theory, lambda calculi, formal systems, and the history of mathematics. They have been actively publishing since 1999, with notable contributions in 2023-2024 on topics like intersection types, semantic markup of mathematical documents, and historical mathematical paradoxes.
Research activities span foundational aspects of programming languages, formal methods, and interdisciplinary connections between mathematics and computing. Their work contributes to UN Sustainable Development Goals through advancements in algorithmic understanding and data science.
- Education: Not explicitly listed in the provided texts.
- Grants & Advising: No specific grants mentioned. No advisee list provided.
- Labs/Teams: Collaborations involve international conferences and editorial roles, such as editing the 2023 tribute to Jonathan Seldin.
