Research
Research groups
Member of:
Research interests
- intersection of formal reasoning
- machine learning
Email: T.Gu@soton.ac.uk
Tel: +44 23 8059 8492
My research interest is at the intersection of formal reasoning and machine learning.