Mark Armstrong
Software Engineer at KUBRA
Hamilton, Ontario, Canada
Summary
🤩
Rockstar🎓
Top SchoolMark Armstrong is a software engineer with seven years of experience building backend APIs and cloud-native systems, most recently contributing to core API work in Go at Index Exchange and now developing Kotlin services at KUBRA. He combines practical DevOps chops—Docker, Kubernetes, Helm, GitLab CI/CD, ArgoCD and Ansible—with hands-on experience using Redis for high-performance backends. Before industry, he pursued a PhD and taught courses on programming languages and formal methods at McMaster, giving him a rare blend of theoretical rigor and production-focused engineering. Comfortable moving between research-level abstraction and operational concerns, he’s as likely to reason about computability and partial algebras as he is to debug a CI pipeline or optimize an API.
7 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy (Ph.D.) (Incomplete), Computer Science, Doctor of Philosophy (Ph.D.) (Incomplete), Computer Science at McMaster University
Stackoverflow
126reputation
536reached
3answers
1question
Github Skills (30)
code-golf10
ansible-role10
apl9
padding9
ansible9
programming-language7
agda7
literate-programming7
haskell6
emacs6
coinduction6
minor-mode6
org-mode6
type-theory5
odin5
Programming languages (7)
Github contributions (5)
armkeh/dotfiles
Mar 2019 - Dec 2022
Contributions:535 commits, 230 pushes, 1 branch in 3 years 10 months
armkeh/resume
Mar 2020 - Mar 2025
Contributions:47 pushes, 1 branch in 5 years 1 month
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.