Scholar
Daniel Murfet
Google Scholar ID: ilWvLq0AAAAJ
Timaeus (formerly University of Melbourne)
Citations & Impact
Citations
620
H-index
14
i10-index
19
Publications
20
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- Published several papers, including 'Elimination and cut-elimination in multiplicative linear logic' (with Will Troiani) and 'Geometry of Program Synthesis' (with James Clift and James Wallbridge). Supervised numerous master's students to complete their theses.
Research Experience
- Taught an introductory algebraic geometry class at metauni; involved in multiple research projects, such as a joint project with Nils Carqueville on computing with matrix factorisations.
Education
- His PhD thesis can be found on his personal website.
Background
- Research interests: algebraic geometry, mathematical logic, and deep learning. He is a mathematician at the School of Mathematics and Statistics, University of Melbourne, and a member of the Melbourne Deep Learning Group.
Miscellany
- Posts videos on a YouTube channel and holds seminars on Discord.
Co-authors