The Queen’s School of Computing is delighted to announced that Queen’s School of Computing PhD candidate Amal Khalil won the Silver Medal in the ACM Student Research Award competition at the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS’15) held in Ottawa last week for her work on “Change-driven Incremental Symbolic Execution of Evolving State Machines”.
Amal works under the supervision of Professor Juergen Dingel.
Congratulations Amal!