Jacob Y
PHD Researcher at Imperial College London
Stony Stratford, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolJacob Y is a PhD researcher in Computer Science at Imperial College London specializing in verification and semantics of programming languages for machine learning, bringing a decade of industry and research experience. He previously built market-making algorithms and cloud/DevOps tooling at Credit Suisse and implemented scalable ZX-calculus tooling for quantum circuit simplification at Cambridge Quantum. Comfortable across C++, Python and JavaScript, Jacob blends formal methods and practical engineering, with interests spanning automated reasoning, ML in software engineering, agentic LLMs, and fintech. He has an Oxford MMath in Mathematics and Computer Science and a track record of turning theoretical ideas into production-grade systems and research prototypes.
10 years of coding experience
3 years of employment as a software developer
Masters (MMathCompSci) Mathematics and Computer Science, Masters (MMathCompSci) Mathematics and Computer Science at University of OxfordInternational Baccalaureate Mathematics Computer Science and Physics, International Baccalaureate Mathematics Computer Science and Physics at Dartford Grammar School
English, Chinese, French, German, python, java, c++, scala, haskell
Github Skills (82)
3d-object-detection10
deep-learning10
speech10
sdk10
neural-network10
paddlepaddle10
computer-vision10
nlp10
3d-detection10
natural-language-processing10
lidar10
point-cloud10
pcl10
pytorch-lightning10
hardware10
Programming languages (7)
Github contributions (5)
jb892/CO417-MSc-ACG2016-HW2
May 2016 - Apr 2017
Contributions:2 PRs, 6 pushes, 2 branches in 11 months
pbrtcomputer-graphicsopenglrelightingsampling
jb892/FaceDetection-HaarCascade
May 2017 - Oct 2017
Contributions:6 commits, 5 pushes, 1 branch in 5 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.