Skip to main content

School of Computing and Information Systems
People
Graduate Researchers
Jeremy Lindsay

Jeremy Lindsay

Proof metrics in formalized mathematics

Contact details

jeremy.n.lindsay@student.unimelb.edu.au
https://www.jeremylindsay.com

Discipline

Computer science

Supervisors

Cezary Kaliszyk

Christine Rizkallah

FEIT Facebook
FEIT LinkedIn
FEIT Instagram
Contact us
FEIT Current Students
FEIT Intranet

Support the Faculty of Engineering and Information Technology

Acknowledgement of Country

We acknowledge Aboriginal and Torres Strait Islander people as the Traditional Owners of the unceded lands on which we work, learn and live. We pay respect to Elders past, present and future, and acknowledge the importance of Indigenous knowledge in the Academy.

Read about our Indigenous priorities

Site footer

About us
Careers at Melbourne
Safety and respect
Newsroom
Contact
Campus locations

Contact details

Phone 13 MELB (13 6352)

International +61 3 9035 5511

Address
The University of Melbourne
Grattan Street, Parkville
Victoria 3010
Australia

Connect with us

Emergency
Terms & privacy
Accessibility
Privacy

The University of Melbourne (Australian University): PRV12150
CRICOS number: 00116K
ABN: 84 002 705 224