Mark Harman

Senior Research Scientist at Meta

London, England, United Kingdom
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Mark Harman is a senior research scientist at Meta London and a full professor of Software Engineering at UCL with over three decades of research and industry experience spanning software testing, source code analysis, and metaheuristic optimization. He combines deep academic leadership—founding and directing CREST and serving in senior university roles—with hands-on industrial impact, including co-founding a startup whose assets and research were acquired by Facebook. His current research blends Bayesian deep learning, Gaussian processes, meta-learning and causality, bringing probabilistic rigor to practical engineering problems. Mark has a long track record of driving reproducible software engineering research into production environments and large-scale platforms. He holds a PhD in Computer Science and an MEng from Imperial College, reflecting a rare mix of formal training and applied systems expertise. Colleagues often note his ability to translate theoretical advances into tools and products that scale in industry settings.
code11 years of coding experience
job22 years of employment as a software developer
bookMEng Software Engineering, MEng Software Engineering at Imperial College London
bookPhD computer science, PhD computer science at Polytechnic of North London
bookO and A levels, O and A levels at Emmbrook Comprehensive Wokingham
github-logo-circle

Github Skills (70)

python10
deep-learning10
gpflow10
stochastic-processes10
neural-network10
variational-inference10
gaussian-processes10
information-theory10
tensorflow10
bayesian-statistics10
machine-learning10
manifold10
gaussian10
ml9
statistics9

Programming languages (5)

C++TeXHTMLJupyter NotebookPython

Github contributions (5)

github-logo-circle
markvdw/inference-plots

Oct 2021 - Jan 2023

Contributions:4 commits, 5 pushes in 1 year 3 months
markvdw/markvdw.github.io

May 2021 - Dec 2022

Contributions:53 commits, 75 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.
Request Free Trial
Mark Harman - Senior Research Scientist at Meta