Ruth Hoffmann

Lecturer at the School of Computer Science/University of St Andrews. Research includes graphs, groups, permutations patterns & formal verification