Johan Bontes

PhD Fellow since 2021

Supervisor: James Gain

Research Topic: High performance automated reasoning
Video abstract