Johan Bontes

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