Johan Bontes PhD Fellow since 2021 Supervisor: James Gain Research Topic: High performance automated reasoningVideo abstract