Phd Thesis Submission
After about four months of hard work and one month of review with my supervisor Prof. Jim Woodcock (very efficient, many thanks to Jim), finally I submitted my PhD thesis on August 2nd, 2016. My thesis is available here.
Kangfeng (Randall) Ye
Research Associate (Computer Science)
My research interests include probabilistic modelling and verification using formal specification and verification (both model checking and theorem proving) and model-based engineering.