At the third edition of the VCLA International Student Awards, Jeremy Kong has been selected for the Outstanding Master Thesis Award by a committee consisting of 17 internationally recognised researchers.

His thesis “MCMAS-Dynamic: Symbolic Model Checking Linear Dynamic Logic”, under the supervision of Prof. Alessio Lomuscio, was completed during Jeremy’s final year at Imperial College.

More details of the award can be found here.