Artie Khovanov
PHD Student at The University of Edinburgh
City of Edinburgh, Scotland, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolArtie Khovanov is a PhD student in Informatics at the University of Edinburgh with a decade of experience at the intersection of mathematics, formal methods, and applied AI. He holds an MMath with Distinction and a First Class BA from the University of Cambridge and has completed multiple summer research internships there focused on proof formalisation in Isabelle/HOL. His work spans AI for mathematics, signal processing research at BT, and hands-on tutoring, reflecting both deep theoretical training and an ability to communicate complex ideas. Skilled in formal proof tools and research-driven software, he brings rigorous mathematical thinking to practical problems in AI and verification. Based in Edinburgh, he combines academic ambition with real-world research experience and a track record of sustained, focused contributions to computational mathematics.
10 years of coding experience
Doctor of Philosophy - PhD, Informatics, Doctor of Philosophy - PhD, Informatics at The University of EdinburghMMath, Mathematics, Distinction, MMath, Mathematics, Distinction at University of CambridgeKing Edward VI School, Stratford-upon-Avon
Github Skills (8)
minecraft10
forge10
math-library10
discord8
java8
programming-language3
mathematics3
hugo2
Programming languages (5)
Github contributions (5)
artie2000/real_closed_field
Aug 2024 - Apr 2026
Formalisation of the theory of real closed fields in Lean 4.
Contributions:227 pushes, 2 branches in 1 year 8 months
artie2000/temp-mute-bot
Mar 2021 - Dec 2024
Contributions:1 PR, 7 pushes in 3 years 9 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.