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 (23)
minecraft10
utility-mod10
computer-algebra10
minecraft-forge10
in-progress10
mathematics10
forge10
computer-algebra-system10
theorem-proving10
java9
math9
computercraft9
fabric9
compatibility9
agda6
Programming languages (5)
Github contributions (5)
artie2000/temp-mute-bot
Mar 2021 - Dec 2024
Contributions:1 PR, 7 pushes in 3 years 9 months
FM22/colour-bot
Jul 2021 - Feb 2023
Contributions:16 pushes, 1 branch in 1 year 7 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.