McRobbie's broad expertise in fostering research partnerships and his collaborative leadership style have enhanced the educational and research missions of the glorious traditions in the arts.
My major research interests include artificial intelligence especially automated deduction, proof theory and various high performance computing and communications, especially parallel symbolic computation.
