معرفی
Ridha Khedri is a Professor in the Department of Computing and Software at McMaster University. His research spans formal methods in software engineering, cybersecurity, information security ontology, network segmentation, and covert channels analysis.
- Full Professor since 2000
- Contact: khedri@mcmaster.ca
Research Interests:
Prof. Khedri develops algebraic frameworks for software security, with recent work on network segmentation, ontology engineering, and covert channel detection. His interdisciplinary efforts include hybrid machine learning-ontology models for environmental predictions (e.g., river ice breakup) and digital twin healthcare systems.
Article Trends:
His 15 most recent works (2016-2025) focus on network security, knowledge representation, and formal verification. Notable trends include automated security testing, ontology modularization, and multi-context reasoning systems.
Teaching:
He has taught courses like Software Design (CAS 703), Discrete Mathematics (SFWRENG 2DM3), and Algebraic Methods in Software Engineering (CAS 738) since 2017.
