Yuhui Lin's Webpage



Rm. 225, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK

Mr. Yuhui Lin

I'm a PhD student in School of Informatics in University of Edinburgh from 2010, supervisored by Prof. Alan Bundy and Dr. Gudmund Grov.

I got BSc Software Engineering  in 2007 in Fujian Normal University, and gained MSc Software Engineering in University of York with Distinction in 2009.

My currect research topic is associated with AI4FM project. I'm interested in theorem proving and modelling, in particular the use of failure in a proof.