Viva Preparation

Prepare viva for my PhD thesis

There are two examiners: external examiner (Prof. Michael Butler) and internal examiner (Dr. Jeremy Jacob). Jeremy used to be my PhD assessor as well. (The Department of Computer Science at University of York has very clear and good structure for the PhD degree and usually every six months you will have a milestone. Then your supervisor and assessor will assess your progress at this point. I found this is extremely helpful, particularly with my supervisor and assessor Jeremy.)

Prof. Michael Butler is a very nice person. I was applying the PhD degree with him at University of Southampton in 2012 and had an interview with him, and finally he gave me an offer. (At that time, York and Southampton are two of my favorite universities. Eventually, I chose to have PhD with Prof. Jim Woodcock at York). I look forward to having a nice talk with Michael and hopefully he is happy with my defense of the thesis.

Finger crossed! 🌓

Kangfeng (Randall) Ye
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.