Mark Williams
Summary
👤
SeniorMark Williams is a consulting member of technical staff with 11 years of experience building reliable cloud-native systems, currently at Oracle after senior engineering roles at Google and notable stints at eBay, PayPal, and ShopRunner. He brings a research-minded approach to engineering, specializing in formal methods (Dafny, Alloy, TLA+), reproducible builds with Nix, and pragmatic systems work in cloud networking, containers, Go, and Java. Comfortable moving between hands-on implementation and higher-level architecture, he has led principal-level engineering efforts and product-oriented thinking (noted as a Product Manager on GitHub). His background in comparative literature and Arabic studies hints at a strong interdisciplinary curiosity and aptitude for complex problem framing.
11 years of coding experience
Github Skills (20)
bit10
ace-editor9
blockly9
trust9
makecode9
code-editor8
editorjs8
javascript7
jekyll7
typescript7
bbc-micro6
editor6
react5
nodejs5
jekyll-theme5
Programming languages (3)
Github contributions (5)
themarkness/markalexanderwilliams
Aug 2020 - Jan 2025
Personal Site - built from https://templates.netlify.com/template/eleventy-netlify-boilerplate/
Contributions:4 PRs, 14 pushes, 7 branches in 4 years 4 months
templateboilerplateeleventyeleventy-templatenetlify
themarkness/microbit-gitbook
Jan 2019 - Jan 2025
Contributions:22 pushes, 1 branch, 1 issue in 6 years
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.