报 告 人：Ridha Khedri [加拿大麦克马斯特大学,计算机系主任]
报告时间：11月 23日（周三）9: 00～11: 30
邀 请 人：陈怡海 博士
Software Engineering programs differ from one university to another. Their curricula differ in philosophy and in the topics covered. Moreover, the delivery styles and content of the courses vary significantly. The talk starts by contrasting Computer Science programs and Software Engineering programs. We review the highlights of McMaster model for Software Engineering programs that considers Software Engineering as a branch of engineering. We examine its philosophy and the underlying principle for its design. Then we discuss the role played by the Canadian accreditation and licensing system in raising the quality of Software Engineering curricula and their delivery to engineering students.
Ridha Khedri is a Professor of software engineering at McMaster University, Ontario, Canada. He is the Chair of McMaster’s department of Computing and Software. He is Adjunct Professor in the School of Computer Engineering and Science, Shanghai University. He obtained his Engineer Diploma in 1987 from the University of Tunis. He received a M.Sc. and a Ph.D. from Laval University, Quebec, Canada, in 1993 and 1998 respectively. In March 1998, he joined the Communications Research Laboratories of McMaster as a post-doctoral researcher under the supervision of Prof. David L. Parnas.
He is a licensed professional engineer in the province of Ontario, Canada. He is a member of the Asso ciation for Computing Machinery and the IEEE Computer Society. He has been co-organizer, program committee member, and referee of more than 30 international workshops and conferences.
His research interests include algebraic methods in software engineering, data cleaning, information security, and ontology-based reasoning. His work on information security tackles covert channels, cryptographic-key distribution schemes, and dynamic cyber defense. With his students and with long-term collaboration with Prof. Bernard Moeller, he developed Product Family Algebra (PFA) as formalism to reason on Software Product Families. He extended the use of PFA to reason on aspects and dynamic cyber defense.