|
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.
|
|
