Candidate for Ph.D. in the School of Computing at Queen's University, Canada. Co-supervised by Dr. Juergen Dingel and Dr. Karen Rudie.
Received M.Sc. in Computer Science from Brock University, Canada (August, 2012).
Received bachelor's degree in Computer Science and Mathematics from University of Ghana (June, 2009).
Research interest: Service-oriented computing, automated service and API composition, supervisory control of DES, software synthesis, formal methods and real-time systems.