Research Associate

Telephone
+44 (0)131 451 4183
Email
y.lin@hw.ac.uk
Address
Room G.59 Earl Mountbatten Building School of Mathematical and Computer Sciences; Computer Science Heriot-Watt University Edinburgh EH14 4AS United Kingdom
Roles and responsibilities

I am a research associate working for the project of A Graph Based Proof Strategy Tool