Leif Warner
Senior Software Engineer at SiriusXM
Portland, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolLeif Warner is a Senior Software Engineer in Portland, Oregon with 17 years of experience building distributed systems, big-data pipelines, and operationally reliable services. He blends deep expertise in functional and declarative paradigms, semantic web technologies, and recursive/graph data structures with hands-on work in Scala, Java, Kafka, Cassandra, Spark, and Kubernetes. At startups and enterprises he has driven usability, performance, and deployment readiness—adding Cassandra backends, partition-aligned Kafka consumption, embedded scripting, and CI/CD automation for production reliability. An active open-source contributor, he improved Java backend code generation for the dependently typed Idris language by replacing fragile string templating with an XML-based approach and tightening build and error tooling. Colleagues rely on him for pragmatic engineering that bridges theory (type-safe, semantic models) and practice (monitoring, metrics, and cloud deployments). He’s equally comfortable refactoring compiler backends as he is tuning operational clusters for scale.
17 years of coding experience
14 years of employment as a software developer
Computer Science, Computer Science at Portland State UniversityAssociate of Science (A.S.), Computer Science, 3.5, Associate of Science (A.S.), Computer Science, 3.5 at Portland Community College
English, Norwegian, Spanish
Stackoverflow
1,760reputation
505kreached
31answers
6questions
Github Skills (14)
javas10
code-generation10
idris10
java10
build-system9
maven9
xml9
datetime6
proof6
dependent-types6
epoch6
haskell6
java-time6
scala6
Programming languages (16)
Github contributions (5)
idris-lang/Idris-dev
Nov 2013 - Dec 2018
A Dependently Typed Functional Programming Language
Role in this project:
Backend Developer
Backend DeveloperContributions:1 review, 29 commits, 19 PRs in 5 years 2 months
Contributions summary:Leif primarily contributed to the Idris language's backend, specifically focusing on Java code generation. They refactored the codebase to utilize an XML library for generating dependency structures within the Java code, replacing string templating methods. The user also made improvements to the build process and error messages. These changes indicate a focus on improving the build and deployment of Idris code targeting the Java platform.
dependent-typesfunctional-programmingtype-theorylanguage-designlambda-calculus
LeifW/Profile
Jun 2015 - Jun 2020
Contributions:9 pushes in 5 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.