Meet Inspiring Speakers and Experts at our 3000+ Global Conference Series Events with over 1000+ Conferences, 1000+ Symposiums
and 1000+ Workshops on Medical, Pharma, Engineering, Science, Technology and Business.

Explore and learn more about Conference Series : World's leading Event Organizer

Back

Fairouz Kamareddine

Fairouz Kamareddine

Professor
Heriot-Watt University
UK

Biography

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.

Research Interest

Digitization and Automation of text data, formal verification, syntax and semantics of programming, type theory and logic, the correctness of programs and specification.