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