Arthur Tilley
Member Of Technical Staff at Nexus
Berkeley, California, United States
Summary
👤
Senior🎓
Top SchoolArthur Tilley is a generalist software engineer with 11 years of experience blending a PhD in logic and strong math foundations with applied ML/NLP and systems work. He has shipped production ML features at Google, architected end-to-end RPA systems as an early engineer at Warpdrive, and now contributes as a Member of Technical Staff at Nexus from his Berkeley base. His interests skew toward formal methods, automated theorem proving, program synthesis, compilers, and functional programming rather than mainstream ML or adtech/finance roles. Comfortable across front-end, compilers, and backend systems, he brings the rigor of academic logic to practical engineering problems and prefers remote-first roles that align with those specialties. Less obvious: he has substantial teaching experience in advanced math and symbolic logic, which informs his ability to explain and verify complex systems.
11 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD Logic, Doctor of Philosophy - PhD Logic at University of California, BerkeleyBachelor of Arts - BA Majors in Mathematics and Philosophy, Bachelor of Arts - BA Majors in Mathematics and Philosophy at University of Colorado Boulder
Github Skills (53)
python10
data-science10
nltk10
statistics10
machine-learning10
deep-learning10
tensorflow10
natural-language-processing10
scikit-learn10
nlp10
data-analysis10
scoring9
ml9
scikit9
clrs9
Programming languages (5)
Github contributions (5)
aetilley/harrison-rust
Nov 2022 - Feb 2023
Contributions:16 commits, 76 pushes, 10 branches in 3 months
aetilley/pcfg
Dec 2015 - Mar 2017
Contributions:59 pushes, 3 branches, 2 comments in 1 year 3 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.