Fairouz Kamareddine
Heriot-Watt University, UK
Biography
Fairouz Kamareddine has been involved in a number of worldwide consultancy assignments, especially on education and research issues working for United Nations and the EU. Her research interest includes Interface of Mathematics, Logic and Computer Science. 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.
Abstract
Abstract : Computerizing mathematical text, debugging proof assistants and object versus metal level
