Courses
Designing & Implementing Data Pipelines
Synthesising Data for Scientific Discovery
Data Science for Humanities
Using GPUs for Scientific Computing
Formalising Proofs & GenAI for Maths Discovery
Generative AI for Medical Research
About us
Contact
[ Formalising Proofs and
GenAI for Mathematical Discovery]
Launching Aug, 2025
Register your interst by joining the waitlist
Join the waitlist to receive early access to course details and priority registration.
We’ll also keep you informed about launch dates and any related courses that may be of interest.
We never share your information with third parties.
Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.