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 (18)
minor-mode10
ansible9
literate-programming8
agda8
programming-language8
org-mode7
emacs7
haskell6
coinduction6
api4
kotlin4
rest4
type-theory4
dependent-types3
proof-assistant3
Programming languages (7)
Github contributions (5)
armkeh/resume
Mar 2020 - Mar 2025
Contributions:47 pushes, 1 branch in 5 years 1 month
armkeh/principles-of-programming-languages
May 2020 - Nov 2022
Course notes, etc., produced for McMaster University's CS3mi3, Principles of Programming Languages.
Contributions:247 commits, 24 PRs, 216 pushes in 2 years 6 months
programming-language
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.