Steven Shaw
Senior Software Engineer at TLC SRC
Queensland, Australia
Summary
🤩
Rockstar🎓
Top SchoolSteven Shaw is a Senior Software Engineer with 19 years building large-scale, cloud-native distributed systems that prioritize correctness, resilience, and developer happiness. He combines hands-on coding in languages from Java and Kotlin to Haskell and Rust with architecture leadership for mission-critical platforms across telecommunications, finance, and enterprise clients. A pragmatic advocate for DevOps, CI/CD, observability, and lightweight formal methods, he drives continuous delivery while keeping teams productive and confident. He is an Apache committer and active open-source contributor, having improved table handling in TinyMCE and contributed tests and tooling to the Idris language, and maintains frontend work for a programming-language-theory site. Based in Queensland, Australia, he mentors teams without ego and favors architectures proven by working code rather than diagrams. An unusual strength is his blend of deep language curiosity with practical SRE and automation skills, enabling reliable deployments at scale.
19 years of coding experience
14 years of employment as a software developer
Master of Information Technology, Master of Information Technology at QUT (Queensland University of Technology)High School Certificate, High School Certificate at Camp Hill State High School
English, Japanese, Spanish, French
Stackoverflow
6,143reputation
955kreached
57answers
28questions
sbt
top-5%
scala
top-5%
playframework
top-5%
Github Skills (33)
editors10
javascript10
text-editor10
testing10
css10
html-editor10
ckeditor10
editor10
wysiwyg10
github-pages10
idris10
html10
functional-programming10
tinymce10
rich-text-editor10
Programming languages (32)
Github contributions (5)
steshaw/plt
Aug 2013 - Jun 2022
Programming Language Theory λΠ
Role in this project:
Front-end Developer
Front-end DeveloperContributions:2 reviews, 195 commits, 36 PRs in 9 years
Contributions summary:Steven primarily focused on front-end development, modifying the appearance and structure of the website. They created and modified CSS stylesheets to define the visual style and layout. The user also implemented changes to the HTML structure and linked to stylesheets and javascript files, optimizing it for Github Pages.
dependent-typeshomotopy-type-theoryfunctional-programmingtype-theorylanguage-theory
idris-lang/Idris-dev
Apr 2015 - May 2018
A Dependently Typed Functional Programming Language
Role in this project:Backend Developer & QA Engineer
Backend Developer & QA EngineerContributions:80 commits, 43 PRs, 127 comments in 3 years 1 month
Contributions summary:Steven primarily contributed to the Idris language's source code by addressing formatting issues, correcting spelling errors, and adding new test cases. Their contributions include modifications to the prelude, package parsing, and test suite configuration to improve code quality and ensure correct functionality. They also added a test case that extracted the exit status, and extracted the exit status with `WIFEXITED/WEXITSTATUS` within the test case to test POSIX functionality.
dependent-typesfunctional-programmingtype-theorylanguage-designlambda-calculus
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.