PhD student in Mathematics
No formal talks listed yet — the theorem-proving and debugging phase is still ongoing.
