Summary
David Llewellyn-jones is a research data scientist and software engineer with over a decade of experience blending rigorous mathematical training with practical security research and software development. Since 2023 he has been applying his skills at the Alan Turing Institute to cross-disciplinary research projects, after leading open-source work on Sailfish OS at Jolla and co-founding Cambridge Authentication to simplify secure logins with Pico. His career spans academia and industry, including senior roles in computer security at Liverpool John Moores University and research positions at the University of Cambridge. He earned a BSc in Mathematics and Philosophy from Oxford and a PhD in Mathematical Logic, Model Theory from Birmingham, pairing theoretical rigor with production-ready engineering. Based in Cambridge, he combines deep technical depth with an adventurous curiosity that even shows up in his GitHub bio.
12 years of coding experience
12 years of employment as a software developer
BSc (hons), Mathematics and Philosophy, BSc (hons), Mathematics and Philosophy at University of Oxford
PhD, Mathematical Logic, Model Theory, PhD, Mathematical Logic, Model Theory at University of Birmingham