Kyle Butt
Senior Software Engineer at MojoTech
Pleasant Grove, Utah, United States
Summary
👤
Senior🎓
Top SchoolKyle Butt is a Senior Software Engineer with 13 years of experience building reliable systems from compilers and kernel drivers to distributed consensus for blockchains. He led development of the Casanova consensus algorithm and implemented its core in Haskell, reflecting deep expertise in distributed systems and formal reasoning. At Google he worked on LLVM backends and low-level platform monitoring, and more recently has applied sensor fusion for 3D urban mapping and backend work at MojoTech. An experienced contributor to open-source tooling, he has enhanced the Java backend of the widely used BNFC project to improve line/column tracking and error reporting. Based in Pleasant Grove, Utah, he prefers local opportunities and brings a blend of theoretical rigor and practical systems engineering. Colleagues rely on him for deep dives into complex codebases and thorny CS algorithm problems.
12 years of coding experience
16 years of employment as a software developer
Bachelor of Science - BS, Mathematics, Bachelor of Science - BS, Mathematics at Utah State University
English, Spanish
Stackoverflow
9,460reputation
923kreached
70answers
0questions
postgresql
top-1%
jquery
top-5%
toggle
top-1%
scripting
top-5%
sql-server
top-1%
Github Skills (19)
postgresql10
bnf10
toggle10
java10
10
javas10
sql-server10
parser-generator10
scripting9
jquery9
abstract-syntax-tree8
html6
xml6
shell6
optimization6
Programming languages (15)
Github contributions (5)
BNFC/bnfc
Dec 2017 - Jan 2018
BNF Converter
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 commits in 1 month
Contributions summary:Kyle primarily contributed to the Java backend of the BNF Converter project. Their work focused on adding line number support, which involved modifying the JLex and Cup files to record line and column information. They addressed issues related to different versions of the Cup library and updated the code to handle Java code generation with line numbering. Additionally, they made changes to error messages.
bnfcbnfcompiler-constructiongrammar-specificationabstract-syntax-tree
iteratee/p11_260
May 2019 - Jun 2021
Contributions:17 commits, 4 pushes, 1 branch in 2 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.