Research Topic: A Logical Framework for Integrating Software Models via Refinement

Degree Sought: PhD

Location: Research Lab 1 

Supervisors: Dr. Rosemary Monahan and Dr. James Power

Research Group: Principles of Programming

Funding: IRCHSS

Expected Completion: October 2017