Professor Fairouz Kamareddine's research is at the interface of Mathematics, Logic and Computer Science where she has been involved in a number of worldwide consultancy assignments, especially on education and research issues working for the United nations and the EU. She has held numerous invited positions at universities worldwide. She has well over 100 published articles and a number of books. She has played leading roles in the development, administration and implementation of interdisciplinary, international, and academic collaborations and networks.
Digitization and Automation of text data, formal verification, syntax and semantics of programming, type theory and logic, the correctness of programs and specification.