Amos Robinson
Principal Software Engineer at Microsoft
Sydney, New South Wales, Australia
Summary
👤
Senior🎓
Top SchoolAmos Robinson is a Principal Software Engineer with 16 years of experience bridging academic rigor and production systems, currently working at Microsoft after roles in silicon design, autonomy, and postdoctoral research. He holds a PhD in Computer Science and focuses on programming languages, formal methods, and real-time/critical systems, bringing deep expertise in compiler internals and correctness. A long-time contributor to the Glasgow Haskell Compiler, he has diagnosed and fixed non-termination and parallel-array bugs in core compiler components, reflecting a rare mix of theory and low-level implementation skill. Amos pairs systems-level engineering at companies like AMD and Ghost Autonomy with research-grade thinking from ANU, and outside engineering he has an uncommon interest in tuned percussion.
17 years of coding experience
4 years of employment as a software developer
UNSW Sydney
Github Skills (7)
haskell10
compiler-development10
functional-programming9
data-structures8
testing8
data-structure8
algorithms7
Programming languages (12)
Github contributions (5)
ghc/ghc
Feb 2013 - May 2013
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 commits in 3 months
Contributions summary:Amos primarily contributed to the Glasgow Haskell Compiler's (GHC) codebase by addressing issues related to the specialisation and core compiler components. Their work involved fixing non-termination issues in the SpecConstr module, implementing code changes, and adding and modifying tests. These changes included modifications to the SpecConstr and DynFlags modules. Additionally, the user addressed an enumeration bug in parallel array operations.
compilerghcgitlabhaskell
amosr/limp
Jul 2014 - Nov 2018
ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
Contributions:37 commits, 2 PRs, 6 pushes in 4 years 5 months
haskell
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.