Scott Bourne’s PhD thesis was recognised by Dean’s Commendation for Doctoral Thesis Excellence.

Co-supervised by Prof. Michael Sheng and Dr Claudia Szabo, Scott’s PhD project focuses on developing novel solutions on formal validation of service-based business processes based on model checking techniques. The result has the potential to be applied in mission-critical applications (e.g., defence) that demand high dependability.