YuHui Lin
- Role
- Research Associate
- Section
- School of Mathematical & Computer Sciences
- Department
- Computer Science
- y.lin@hw.ac.uk
- Phone
- +44 (0)131 451 4183
About
I am a research associate working for the project of A Graph Based Proof Strategy Tool
I am a research associate working for the project of A Graph Based Proof Strategy Tool