University of Cambridge - aVenture Non-Profit Research
University of Cambridge
Leading UK public research university in Cambridge, founded in 1209.
60k
Operating
1209
Cambridge, Cambridgeshire, GB
Founded in 1209, the University of Cambridge is a leading public research university in Cambridge, England. As the world's third-oldest university in continuous operation, its core mission is to contribute to society through the pursuit of education, learning, and research at the highest international levels of excellence. The university offers a wide range of undergraduate and postgraduate programs across various disciplines and is known for its rigorous academic standards and innovative research. Cambridge's market focus includes global students, researchers, and academic professionals.
Notable affiliated individuals include numerous Nobel laureates, prominent scientists, and influential leaders across various fields. The university's endowment stands at £7.802 billion as of 2022, reflecting robust financial health and support from a global network of alumni and benefactors. Key achievements include groundbreaking research contributions in science, technology, humanities, and social sciences. The overall impact of the University of Cambridge is profound, shaping global academic standards and driving innovation across multiple sectors.
Products & Services
HOL Light
Lightweight interactive theorem prover in the HOL family, created by John Harrison for formal verification.
Competes with
Isabelle
Generic interactive proof assistant for formal verification and mathematics, with the Archive of Formal Proofs library.