Dr. Amal Khalil

Postdoctoral Fellow


Amal Khalil received her Ph.D. degree in computer science from Queen’s University in the areas of model-driven engineering and model-based verification of behavioral software models in the context of automotive embedded systems. She is a former researcher in the Modeling and Analysis in Software Engineering Group at Queen’s University. Amal Khalil was awarded a Silver Medal in the ACM Student Research Competition that was held in conjunction with the 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS). Before moving to Canada, Amal Khalil received her Bachelor and M.Sc. degrees in Electrical Engineering.